{ "cells": [ { "cell_type": "markdown", "metadata": {}, "source": [ "# Divided Preferences: Plurality (5.2.3)" ] }, { "cell_type": "code", "execution_count": 1, "metadata": { "ExecuteTime": { "end_time": "2021-02-12T08:07:41.904947Z", "start_time": "2021-02-12T08:07:36.814567Z" } }, "outputs": [], "source": [ "from matplotlib import pyplot as plt\n", "from poisson_approval import *" ] }, { "cell_type": "code", "execution_count": 2, "metadata": { "ExecuteTime": { "end_time": "2021-02-12T08:17:10.035418Z", "start_time": "2021-02-12T08:17:10.030529Z" } }, "outputs": [], "source": [ "SCALE = 25\n", "SAMPLES_PER_POINT = 1000\n", "N_MAX_EPISODES = 1000" ] }, { "cell_type": "code", "execution_count": 3, "metadata": { "ExecuteTime": { "end_time": "2021-02-12T08:17:10.230895Z", "start_time": "2021-02-12T08:17:10.222918Z" } }, "outputs": [], "source": [ "divided_majority_pl = SimplexToProfile(\n", " ProfileHistogram,\n", " right_type=('cab', (1, )),\n", " top_type=('abc', (1, )),\n", " left_type=('bac', (1, )),\n", " d_type_fixed_share={('cba', (1, )): 0.2},\n", " voting_rule=PLURALITY\n", ")" ] }, { "cell_type": "code", "execution_count": 4, "metadata": { "ExecuteTime": { "end_time": "2021-02-12T08:17:56.180414Z", "start_time": "2021-02-12T08:17:10.366573Z" } }, "outputs": [ { "data": { "image/png": "iVBORw0KGgoAAAANSUhEUgAAAU8AAAEyCAYAAAB6cVLtAAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjMuNCwgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy8QVMy6AAAACXBIWXMAAAsTAAALEwEAmpwYAACO/ElEQVR4nO2dd5zcxPnGvyNtu34+23fnfrYB9wI22BgbA6GYZmx6CTX0HroJkISEUEIKBAiEJLRQQgIhhBLILxBqIFSD6d2929fbSvP7QzOStq/NVVuPP/Lu7c5O0+jRaOZ531dIKQkQIECAAJsGo7srECBAgAC9EQF5BggQIMBmICDPAAECBNgMBOQZIECAAJuBgDwDBAgQYDMQkGeAAAECbAYC8gwQIECAzUBAngECBAiwGQjIM0C3QAhRIIR4QQhh5ki3mxDivjzyiwghXhRChDqulgECZEZAngG6HIowTwIelVJaOZJPBt7JlaeUsg34N3DEt65ggAB5ICDPAF0CIcRfhBC/FEI8DywAjgH+7vv+UCHEa0KIhUKIl4UQ/dVXk4BBQojXhRBfCiF2U+kHCiEeEUK8I4T4WAixE/CYyjdAgE5HQJ4BugoTgAYp5e7ADcAIKeXXvu+fl1JOl1JOAv4FHK4+nwzUSymnAacDP1GP5k8Dd0kptwd2AD4CFgE7dkVjAgQIyDNAp0MIEQMqgKvVR/2AjUnJThBC/E8IsRA4E2hRJNkX+JlK86767TzgIynlEwBSyiYpZb1aAmgTQpR0YnMCBAAgWFwP0BUYB7wupYyrv5uBmP5SCHEcsBOwh5SyQQjxIvABMBb4XK1ngjPDXIgzG30tQ1lRoKXDWxAgQBKCmWeArsAE4D39h5RyA2CqGan+/lVFnIcAM4D3cdY7hwshokKIYuCHwK+BlTiEDIBeHxVC9AXWSCnbO79JAbZ2BOQZoCuQQJ4KzwIz1ft7gHOFEC8B2wFfSikbccjzfuBV4H/AzVLK14C7gSohxAdCiHeBnVU+uwNPdWI7AgRwIQJnyAG6A0KI7YELpJTHdmCejwILpJSfdFSeAQJkQjDzDNAtkFK+AzyfSySfL4QQEeCxgDgDdBWCmWeAAAECbAaCmWeAAAECbAYC8gwQIECAzUBAngECBAiwGQjIM0CAAAE2AwF5BggQIMBmICDPAAECBNgMBOQZIECAAJuBgDwDBAgQYDMQkGeAAAECbAYC8gwQYCuBEGKWECIwX+0gBOQZIEAvhhBigRDiqaTPPkv3GTBISjmqSyu4BSMgzwABejdeBHbRDlaEENVAGNgh6bNtVNoux5Ya0TQgzwABejfewCHLyervXYHngU+SPvsC2E4IsVT/UAjxtRDiIiHEe0KIWiHEn7WDahXyeakQ4kIhxGohxAohxIm+30aFEDcKIRYLIVYJIW4XQhQk/fZSIcRK4C4hRD8hxBNCiI1CiPVCiJeEEL2af3p15QME2NqhQpS8jkOQqNeXgJeTPss06zwcmAMMByYCJ/i+qwbKgEHA94BbhRB91HfX4ziunowzqx0EXJX02wpgGHAqcCGwFOgPVAGXA73apVtAngEC9H68gEeUs3DI86Wkz17I8NubpZTLpZTrgX/gzVYB2oGrpZTtUsqngAZglBBCAKcA35dSrpdS1uME6TvS91sb+KGUslVK2azyGgAMU/m9JHu5P8yAPAP0SKjHwreFEFflTr3V40VgppoV9pdSfoYTumSG+mw8mWeeK33vm4Bi39/rfEH7/N/3BwqBt9Rj+Ebgn+pzjTVSSn8gvp8DnwPPCiG+FEJctqmN7GkIyDNAj0RleeEMYPuQaVzZ29fGugD/xXm8PhV4BUBKWQcsV58tl1J+1YHlrcWJgDpOSlmujjIppZ94E2aVKjT0hVLKEcCBwAVCiO90YJ26HMGgDNAjYdnyIUMI4pYdGl5dfkl316cnQz0WvwlcgPO4rvGy+qxDd9mllDZwJ/ArIUQlgBBikBBin0y/EUIcIITYRj3y1wGWOnotAvIM0OMwtKrsqHV1zZUXHD6d/uWFrFzfcLWKURQgM14AKnEIU+Ml9VlnSJQuxXkMf00IUQf8H5BNQ7qtStOAM1O+TUr5n06oV5chiGEUoEdBCGGUFEbrbNsuWvf4pTz+6icc/qO/UFNd/tuvVmw4s7vrFyCARjDzDNCjMGZovwX1Ta1FPz15D6KREIfOHsvIgX1YtrbudCFESXfXL0AAjYA8A/QYCCEiX6/c+MP+ZYWcPW+aVJ/Zd102j/a4LYZWlf2pu+sYIIBGQJ4Begxqqsp/2dwWD99y1n6EpCH057MmDWPqqIEsXV03Nxwyq7qzjgECaATkGaBHQAhRsmxt3Rkjqvtw2K7jHIm1TRzhjNH7fjAfW0qqK4r/0c1VDRAACMgzQA/BsMqy+9ot27jrooNw1CyJGD2sP/tO24ala+p2LC2Kju6GKgYIkIBgtz1AtyMcMqtsW67cfmQ1b956mu8L4pi4HnlWrK1n8KG/pH954Zcr1zeM7I66dgE65YLU17mUkvb2djZu3MiKFSv44osv+PSTT1i0aBFvvfkmX3/1lZtWAGHTJG7b2D6eKC0tZZdZuzJi5AimTp3K4MGDGT58OBUVFcRiMQzDmZOluwl2EDot401BQJ4Buh1D+pe9tnRt3bRFvzuDccN8S5pJ5AlwwrV/455/LqSqT9FuK9c3ZLLX7s3o0AtSX9/xeJwNGzawaNEiXnnlFV7776ss+WYxTRs30CccpiISoX9BIeP69yfkkh/0iRVQ39pKu22r/GBpXR2fbdhAYzzOqtYWRCxG5YABbD9lCrNmzWL77bdn0KBBRCIRhBCdQaIBeQYIUFoYHVXf3PbxPlNG8s+fHZv4ZRryrGtsod/cGygpjK5dV9vUny0PHXJB6uu6ra2Nr7/+mueff57nn3+Od994k1BbC6Mr+jChqpIdqgcworycqqJiIoZJYSjs5iHAYVApfZUStFkWze1x6tva+XrjRt5duYoP16zh3dWrWG/HGbrNSPbYc0/22GMPJkyYQHFxcUeTaECeAQIMqCj5bPXGxm2W/On7DOxXmvhlBImReqEs+N2/uO7+VxhaWfbdb1ZtvL+r6tpF+FYXpL6eW1tb+frrr3nyySf5+9/+xspvvmRYaSH7j9mGnYcMYWR5H0rCUcLSQEjhlKoOkbEWQlVQqPcCicCyBc1xm+V1jby9YgVPfvYRC9euwCgvYfe99uSQQw5h0qRJlJSUdBSJBuQZYOvGgIqSXVduaHjhuD0ncs/FB3tfeNemjem+dzc3W9vi9Jt7A0LQVN/UVqJsrbcUbPYFKaXEsiwWL17MI488wt8f+xtrl37NTjWVHLbDWCYPrKYyVkTENiEOWCAstLJBlSxy10B6J8jZczaRmEAIS5rUtsT5bN0G/vHpe/zzqw9oKwqz217f4cgjj2TKlClEo1HgW62JBuQZYOtGZXnR2trG1r6rHr5YlhfFnAvCwCFCH1liuDNQW39+019fs8//zT+NmuryH3y1YsPPur72nYZNviD1NdzQ0MCLL77IHbffzocL32DmmAEcvvNYptUMpjwUw2gX0AaiDYc848JxzeEnT116xlqIpMMhT2QICCEJ4zwyhGluF3y8di2Pffwm//j8DczKYo474XgOO+wwqqqqMAxjcwk0IM8AWy+GVZUfvXh17f2XHrEL1520l41Q/5ynwvQXh4mFwASwpG0PmH+jUd/UFm9pixcpj+pbAjbpgpRSYts2X375Jffddx+PPfow1aUWR+0xjgN23I6KcAFGm4BWEK1AK9AuHNfEcXUkkOemzDwNXPIkhBMNJAwyikOgMSRRmtsFbyz7krsXPsP/1n3C5F2mcsaZZzB16lRisdjmEGhAngG2TjjOPyJ1ti2L1j16KdFwCHyzyqwwsTAcAv3rfz7gsB/+heHV5bd/uWLDGZ1c7a5C3hekfkxfuHAhP/7xj/ho0RvsO7OGc4/YiWF9ywnFDYc0W4AWAS045NmGQ57tgOWbffrWPdPyk1uz5FmnnzwjQNQ5ZAyIIYlhywgbWlp59MP/cPs7f8GuCHHJZZcwb948CgoKnFzzJ9GAPANsnRhe3eeyr1dtvPbXZ87hvIOn649t8jHaMIljODvwUkq2PeZmvllZK+OWXa4cAPd25HVBSilpamri+eef57bbbmHl0kWcdewU5u0xmj6FBYi2JNLURyvQ6jy+uzNPTaAueTrcNO/++1lSV0dLezvn7bwzp+64o/udN+s01CO7f9apjwIgBtKZgUKUlrjkjeUfc8Mrd7AstIYTTj2Rww8/nOrqaiBvAg3IM8DWByFEJBYJNZQURMIr/3KRK6hmM8gT4OX3vmHWOXcxrKrsia9Xbjywc2rdpch5QUopaWxs5OGHH+bGG69nxBDBZefOYMrYgcTMkLeumUyc/tlnq350F75Hd5Gw5rm+qYmKwkKa29vZ8be/5YWTT6FvYSHOppLAeVzXM08165RRNGFCDJdAiYKMIolgSZNvNq7kjrfu469f/oMDD5vLxRdfzMCBA/Pdje8R5LlFxlMO0HNRU13+669Xbgzfe+l8P3FuNmZOHMaOowfy1icrDgiHzOr2uLUy9696LzRxPvTQQ9z48+vYZoTJ1ZfPZtKYagwpEO04xGbj8JkmRQuHJEPqvSW875zo7qoA/Qo3v/Yaf/vwQwCW1Nby2fr19C0udtIIPes0QHgbRu4M1CVT398ijJAhTBFmRJ8RXLjzOZgizIMP/RXbtrnkkksYNGgQ0KnWSR2GgDwDdBmEECVh0zht5IA+HLrr2A7L997L5zPmuFsZ0Kf4cWCnDsu4h0FKSUtLCw899BA///l1jNo2xI+v2I2JY6swEIg43oaPXsO0fWTpvup1TuF7DBcOf6rf/+eLL/i/L7/kv2edRWEkwm533EGLZYFhOGml4cw4NXGKkCJK/9qn71V/J0IIGUISorKomvOnn4shQtz/8EPYts0VV1zhPsL3dASOQQJ0GYZWlv2p3bKNuy6Z16Eav9HD+rPftG1ZtrZ+x9LC6JhvV8ueCb059MYbb3D77bcyZnSYn/xodyZOrMIIC2ciaAqHu0JAWDhHRB1hARHDex8ynMM0wDR9r85R29ZGn4ICCgsK+HjdOl5bvNhLY4S8tEbIOYR6NSIgIiDC3iv6VROoqfYGTSqLKjlv2rkcO/q7PPvYM/zl4b/Q2NhIb1hODGaeAboEyvnH3KnbDWTWhGGJX4awsDHJJXV3NKCmWpdLkDT9/pK5DD7slxTGwk8CIzq29t0LLUd64403uPrqH1Fd3cLVP9qNcWMrMYRAJO+OS98juO17PLeFN/PUs04tOxLCS4Ngzrjx3P7a60z8xS8YVVnJ9GHDFGGGSJh5ypA6wiAjviPqvLozUEWcMgQ4M1YhHQFv/6JKzp12DraU/O7W31FQWMAxxxxDQUFBj358DzaMAnQJthlU8e4XyzdM+uAPZzJ2WKXzoYEkhACl37SBdnfP13sqEiqtI2cy1acpYvoTr3uMu59+lwF9i7+zfG39c13QrM5AygUppWTJkiVccMEFfPrpq1z7s93ZZ++RmKbhEKfe6LHxHsnjwtFztglnc6hFQLM+DLV5JKDNcNLFkwkVUib5/t14afiIMwK2kibJAuewC9TfMUWmejdebzLpNVPPzPPLDV9x0b8u5nPxOTf95iZmz56dSUjfIxg1eGwP0OkoLYqO/mL5hkn7TB0pxw6rVL7OsAm5ZtIOIRpAJEHtKTGwMNQs0yNOnVqoC9rGwLrp+3OIhExa262HRU+esmwCtCTpwQcf5J13XuH007Znjz2GY4YMhMCZMbqqIbX5YwpnYyjkf3Q3IGpA1HReIyZEQs5rOOS8D4c34YhAKAyhCJgRCEXBjILhPyJghNUjvPO4jjCdyuoNJ6HWUBHUlNdwyYyLidXFuPWWW1m2bFn3dXweCMgzQKejKBZ+whCCPy44yKG/MCgyTB1/DrEahNH0aGS0ONIzEGcJzSgtjnHh0Tuzvq6579CqsmM6pzVdB/24/uqrr/LAA/cwb95wDjtsHLGCkEOcepMngUSFQ56mWtcMq0MTZ8yEWMg5oiGIhCEadl4jihgjYYhEEo9w0nuXQCMQjiryjKkj6hCqodY63XVR0yFLTZy68kINBmGy/YAduGDaBXz0v4/405/+RFNTU49d/wzIM0CnorqiePbK9Y0jj91nouM1yRlxmU0wNZzry8qZjsT8fnjSbhQXRNhQ33yHEKLXj+9ly5Zx6623EIs1cOyxE+nbr1B9I7yHVyF8BKoO01CzTz3LNNWs03RIUxNoTJOnIsZoBCJRdUQgqt5HNXlGU49QFEIxdfhnoGrmafhmnZo8hVpn9bVFAFEzyj4j92Fm9UweuPcBXn31VWzb7pEE2usHV4Cejbhl/zUcMrj53H27pLxoJMS1Z3yH+qa2wuEDyhd0SaGdACkl8Xicf/3rXyxa9Cbf+95kRo/u5/KNZynpI06XPA01+zS8XfVIMnGGIRZR5BlR76MOWcb0EfP+jsbUEfUINRKDcAwiBc5rWBGoGVWP82Fng8kwnUMkPqa79dZtVm/LY+WcssMpFDUV8dCDD1FbW9tl/b4pCMgzQKdhWFX5MevqmvtdeMTOlBbFuqzcMw/ekco+RaxY1/AjIUS0ywruYCxfvpy//OVhxo0rZb/9tyUa1eIYh2X8Dopd8kwgUANCpnOE1RpnVBNnGAoUgRZEUgkzGnPeu0cyicYc8oxq4tSv+hFeE6cmT8Opl7+euh0icZdMCMH4yvHM224er7zwCq+//nqPnH0G5BmgUyCEMDY0NP+uuCDCj07YvUvLNgyD3168Py1t8dDwAeU3d2nhHQAdZ+jZZ5/liy8WcfjhY6mqKkqT0tmllr61Q3cTRhgeaYVMCIWcjaGoJk5FmgVR53AJUpFlQTJ5FiT+HS1wPosUOO8jPuIMh9VmUsghcEMd+nHdEK6FpxQpTQIgFooxd9RcKuIV/PmhP7Nx48ZO7fPNQUCeAToFNdXll9U3tRX+7JQ9iEa6Xk48f/YYthlcwZLVdacIIUpz/6JnYeXKlfz1r86sc/fdawiZ+lJNLyNySVQI37qiIlAz5Bwh34ZQVM02C6IOURb4ibMg9X2Bn0AVcUY1cSry1OukobBD2Kaa9ZqGtxbrI84U16BJGNFnJAdtdxD/fem//O9//wtmngG2fAghIivXN/y4f3khZ81Pay0pkKl6xjSpTPLxMiRS8xNCcPcVBxG3bDGsuuyBPKve7dA77AsXLuSLLz5m3323oX9/NetMIZlk9nFE5w6JKptzvdOdQJ6RJPLUBJo04yxIQ6bJs89ogbcWGlGzznDIWSYIGd7OvylcU3iZhTC9GbQgGoqy98i9ibXGeP7552lubu5RBBqQZ4AOx6ghfW9raYuHbvv+/snOPyxA06GdkUAFlusuUmSxOzKwlY2cVPnhz3OXicPYaewglqyq2z8cMnuHwTSOR/jHHnuM/v0NZs4aihky1OOtYhu9SeQikUDdsBjuDnfI2fU2lS4zHEkkUP8MNB1Jpjy+F5DwGB/Vs86w0ouqGWdI7fibwjVIcjWp6WaeaaS5w/uMYOagmfz7X8/xxRdfdFKPbx4C8gzQoRBClH65fMNJ2wyq4OBdx2riSyVJiameNUEqUoXEp1IDQQhTSeMlmnwFTsQH7yLU7syddFIRroR7Fsy3bSmp6lP0jw5taCfim2++4e2332D6jEEMrSlPiIyRskmUloU8ApXKGYdzhBWJKm1mRO+uJ20KuRtHvt31qC+Nf9MoqmRMUR9xRgxlPy+QpnCNihJI0//eNw1NMGJCUBQpZs+Re7Nx5QbeeOMNLMsbKt2NgDwDdCiGVZXd327Z4q5LD8IQQibNBs2UHyRssyZZHGkYQEjJ5TVNZhLZ68tSuWAbPbSf2H/6tixbWz+1pDDaca6cOgna+Udd3Rpm7TqMaDTkEonf0XuiVMnPSP7DYS1JCKmJ01AWQQkEqmahLlFmO2KJr5GImnEq0tTEGRaekyVlzp5QNb+8yr95JJLaKAwmVE1iQGwgL77wIg0NDV1yHvJBQJ4BOgzhkFm9ZHXdATuOGsjMCcNQIRXJQHIeJCYCO6sgXgAmhhLO54JOIQHx+0vmYhiColj4iTyb0m1obW1l4cKFVPQLM3Z8JdIQSfHZRNrDI9FE4vTYywnOJrW3I02ioTQkmmxdlHJEfe81cXozThkWnntPP3G6BOojTTypUoInPbzP+hX1Z1LlZD7+6GPWrVvXZeciFwLyDNBhqOpT9LgtJfcumN95hYhNjy5Z3beEE+ZMZtWGxuED+pZ8pzOq1VHYuHEj7723kO1GV1Det8AlTpvUQJe2OxsVaqPIt8uegUDRBGqEfeugPnt1vRufzabdNeMMecSpSdPvCznkq4KPOF2/IsLz26xfE9orlMcYM8qE6smsXbmWTz/9tGtORB4IyDNAh6C0MDpm2dr6HffdaRtGD+vf3dVJwa/P0U5D4j3aaci6deuoq9vA6HGVRAojjv9itQqhCVR/5pCMM/O03VmoJlE/ayVFtyTsm4UqEg3pXXKfRtN/hENeGvfVhLChSFMkkmbyzNMUSENtHBk+b3nC89ec4DXP11YMk5H9RhOVMRYvXtxl5yIXAvIM0CEojIWfNITgD5cc1N1VSYuSwigXHzmDDfUtFUMqS4/r7vpkwqeffkpd/TrGTKqCkHBDDDmHSCBTS8kSLEWeNoYiUQMbA6nlSgkslshsUoSRCXKmkCeqd19935n6c2c3XYZEKlkmk6bpkaZtJLoV9RNlPMsxqLyGikh//ve//3XRmciNgDwDfGsM7Fey26oNjcOP22cSA/qWdHd1MuKqE2YrpyEtt/VUpyGff/45GBaxkgjtQrgRgr3D+8xPLh6ROj78HCI1sTGTSDSZQJ2/pTCRQtmga8/yrlmlkeRt3nAIcVNJM5k4df2FF4cutb3OIcwohZESPvjgg84/CXmiRw6gAL0HQgjR2mb9NRIyuensOZuXibOKmftRWi/w5YM06tBIOMR1p+1JQ3NbYU11+eWbUsWuwqJFi+g/oJCqYeW040QITne0I2hTR7vviKcQqJ9EzTSP877dHGEiNVmmPZzvpes3NP0hTYFtgm2CZYJlOEfcgHbD89OsD7ddInN7I9FiRldO4t23F3bRmciNgDwDfCsMrSo7Zn19c9+0zj/0fka2LR7tzNjyvc+ULo5FXPmU92tDk9O1YtGO3klJSHfGQVOp6lPEyvUNP+yJTkMsyyIUMZERk1aSIgejogYnvW9F0AoumXqEahBXROqfjUqRsPXtO5SVklCP/D7ilEIgExwvJx0mjjLAUMRppJKmS5bCc3CvoyC3iqQ2+b9D0C5MwuEC7EDnGWBLgBDCqG1oubOkIMIPj9vN94WSEwn3H3ibqA6c7WLLnXXa6nlUqn/+dHFsHxk66fSWsz9dO9AMLhH706k8DcPgt993nIaMGNDnlo7rjY6DDWmJswWnef6jBaHeC5VG0IKg1SVSwyXRuJ9EhVAkmkicrmBdqF1xTZqu67vUQxoCWwj30VwTZjyJKHXkj2bha4PwtyVd+7wjTj62ul2HIABcgM3G8AHlC75asTF28zn7ymgkJPCcEqdTbBp4hpk2iTduL3UcU1kQOekSVZ3ebywV8yiExMamzRUx+a2NvHSmImUb5u8yVmw7qEJ8tXLj94QQF0kpa79VR3QoJLaadTWrTzz7m1Q7okRpvPA9PQt1OO9D6m/D92ogEMqLu5DpSvFBJL13iTV159y/rhlPtznkT0uiplMKkDLREMC5fzobZulMOLsLAXkG2CwIIaKxSOhHleVFnDV/R2dEe7PMTE80euTr71MtjsCbNSZyRaZ0zjZztrVQ5+ozXC/2IO6+dB67nPtHMbSy7AFg/4y/7WKsW7eOgvIobSHDJU9IpjWR0DGJT8/CPZz9G+HbFvLe6zQuAeuJZYqPuFT4LZ78wTldwsSLQeffDPLLj7TsKlkQn2iC6r23EERiZYSMnkNZPacmAXoVhleX3/zVyo2h+39wcLLzj3wgyWeDyLm+co9RmWd+NnqBwJwxbijTxgzijY+X7xcOmQPa49aKPOrT6SgoLGRNi0WTLTM23E+kybNP5RKEkGPV7qo7lTze/Vun0SufOlypECBk+s70Vlg80vNrT/27/35FgF8Z4CfPlFknicTph4WkKd6CLXPFp+46BOQZYJMhhCgNmcYp2wyqYP6uY7q7OpuNey+dz6gTbmFAn+IngCndXR+AwoJCWtbHabYlYTKRiRcCKnXmqa3ZNVlKIjh5WUBE3WlCKmfnPSovJWcQjoe/xFmocNNL6SNOCXF1tCcdbb73Ok1c/cYCbJkfcQpV98Z4C7bdczaMAvIMsMkYWlX2wOJVteLuyw5KF1O712C7If04YPp2PPHapztUlBSMW1/f3CNEhLZ0NkjC6u/kx9hkSvPIU/tRco64Y0eErZaFZZJhp6Gk9TY2AgNb2SdJRc7JZCZl4mFLRYSaGG2PNP1Hu/TNRBVxWjJ11pnSWF9b9cw22DAK0GsRDpnVti3332nMIHaZMKy7q/Ot8fsL5zLoiF8QDplPAMO7uz6oTZVWUskzmTicNU/PKDPxkV2TpveArW2QvMP5nY028BRqT01iJD+4S2/WKSXYduJh2Q55xm1oV0db0qFnoO7ME9/sM5k0pddGVNq4/4MegECqFGCTUNWn6B+d7vyjC1FVUcyJ+0xm9cbGmgEVJXt2d30KCwtprmuldmOLT8eZ7pDq8P8Nrdi0IWnDpg2bdnXE3cPCwsZK+me7/2TaTRx3YygDcVqWIlDLORIIVM9C1ftW/0GaV/8hnbY1WW1saFhJUVG6WE7dg4A8A+SNksLo2GVr66fuP31bRg3t532htZjO+8wr+p7eUpDWBigFobzSOQuA2Z/oHPmTTbKvUOCXZ84hGjZpbY//ubudhkyfNp2mtW2sWVaX0drGsTDS7yXt7mG7r3GXNC2XNL0jnkKdlhLd2siE3fBkb076kdslzAyHJtG4De2Wb0aaZm20PaE96dva0NbI8nUfM3v2rK46FTkRkGeAvFFWFH3GMAS/v3iu96HzPOUslDmi9ESRu4Z0Uyc/haYjvWQJvP4sEVqMr3U3DlJ3FELYRNx0ukw3XUlhlIsP34UNDS0VY4b2OzlNfboMgwYNIhqKUbeumXZbptmxdtYy29333meJh0OImiw90own/Usk0GRJUYo3J+mRZ1zPNONJh+V79c9I9W98G0z+jabk3Xr/rn1jWwPtVhMjR47s0vORDQF5BsgLA/uW7LFsbf3gE/aZTHVFiaVmm5ayEXIoDBxRelwtnkn1rWci6exvOIt1XtgMjxg9gvTEjP4x6hFusp7bxFkkTJbUR9EBP5w8nXTCt6gnkXDF0bvKksIIS9bU3dSdTkO22247+pb2ZfHbK2htt53NGNWBHlk60h3LffUfto8IE2ebceK0+16995aapSY7G0nj4UhpNuNSPZ7HnSMeh/b2VCK14h5xWsmH9MqxIGFHPoFIpWTV+s9paV3DtGnTuvR8ZENAngFyQgghWtuthyMhk1+duY9n8uEGDE+CRIvX/RRHSlpPUC8SPkv2PO9Pl2gaaKakC2MSwtl6DqNJODVdCENpgSQ2RMMhcf339qShua2gpqr8ipyd0kkoLS1lQPVAlr+3mqa6lhwzwVTitF3y9P7555ntKYfle9xP1Wkm6zXdQ6rHcMs52hSJtrcnkaj/cd72zVzVbr0+9O67lj/5Z7vtdpylK98lVmgwaNCgLjwb2RGQZ4CcGFpZeuz6+ua+Fx8xw3H+IV0yyj5+LOXEI1s6z5jTTiHN1HTgWOllX5c0cMxp8lkHNTFQG7mn7e86Dbmyu5yGlJaWMnHCROoW11O7oiFBTO4dztrkuq838Kvxv3ZXSrQkyXsMTyZO/z+HONvUBpO35uh3LJK4HpmyNqk3gXwzUP9M1J19WmBbSRtNSeQpk9qodaA2ktb2JlauWcSgQdUMH979ggiNgDwDZIUQwlhf3/Lb4oIIVx03uxML6rys8y3XMAzuOO9AWtrjoZqq8m5xGhIOh5k2bRqiQbDkzeVYlp1kiSMT3ru74Yo4EwlUzzythNlmmzpasdzdeccrEwmv+r0+tPcjv0ekNumQZ5uafbb5CdS3eaQ3mDR5JuhFUQSapP3U7V5fu5jVa95jxx2nUlFR0YVnIzsCnWeArKipKr/861UbC285dz8i4S1/uBw0YzTbDe7Llys2dIvTEMMwmDhxIjWDhvP1C98w5uAxxMpjSviYeIeRgB23efj4h1nxzgr6b9efo+89moLCApdAncXdOJ5LEO/hX5OvM9MTbmqTVKcCyTPDOI4duxa+t9lJj+9pHtv9xPnGG/fy0ks3AoKqqokccsh9TjkJzwoS246zdNn/EKKeXXfdlWi053gRDGaeATJCCBFduaHhh1V9ijhj7tTurk6X4Z6L5hG3bDG0suzB7ii/qqqKPXbfg1VvrWble6uQ0pthOtwi3X9rP1nLjqfuyLnvnUukNMrLt72cdubpzD4t2tSjeiu2TxvquLBzXNml+g1N8SUqPBdz7gxVE6iWJvkOvd6pyXP58g94/vlrOOmk5zj77IXst+9Nrggf3U71d2PTWj797AnGjN2GSZMmbY4fhU5Dz6lJgB6Hmury37S0xUO/PX//HjVoOxvTxw5h+pjBLFlTu284ZA7oyrKFEESjUebMmUORXcTXL3xDvNVSzKKp00PZkDKG7jIUiWT7707mq5e/dh/frQRxvO1uDDkieo80WzFcP6DpfIgmHMI7WgW0Gr5HeHwEqmRJycRp2/D5588xfvyhFBb2Q0ooKKxIIExUK6WUrF7zIRs2fMQ+++zNgAFdeipyYuu5IgJsEoQQZUvX1J287aAK5s8a27mFOVOqfFc9c4/ZBGPpHHDEUSnC+Xsvng8SqsqLnswzpw6DEIJRo0Yxc/pMvvjnF6z/ckNKk1yf0cI/D5UgpEucfumSFtI7xOk5Sk4lTpHglLglzaufRDV56hAafht2renU0iR3c0g6SxAuYSadK02irW11fPTRI1QPKGH33XcnHA73KF8KAXkGSIuhlWUPxC1b3H3ZvOSvbLUYlqrN9EOoPXlvVyNVvK6l6t4SXPp0ib/QVkrpy9XWTnF3US89jWqdqueaMiHdtoP7csD07Vi2rn77PiUF47PUqVNQVlbGEUccQWh9iE8e/4R4S1w92iY2p3ZxLd/8dzESWPjgQobNrHF347W1kF+zqWMdaeL0Dv3oTsIMNBNxurNOA1pNaDOco91IckGXvKsuYcTI7/D++w/T1LgOgKam9SlrnVJKli9/m6VLX+DAA/dj9OjRndfZm4mAPAOkIBwyByxdU7fftDGDmDFuqP8rb45oYvisdRKvaBPpuif2y4oSp04oib0mRAMvjlEySziE6mg2jSSpku3m5yzuOSlx409oarR85doJOYYwlIVSAinfecFcTENQEA09nbvXOg5CCAzDYKeddmL2LrP57O+fse6zdSk9LZH0H9Ofd+95h1sm/oam9c3sdMY03yaQtxkUR6BDcbRj0qaOVkyXPPN9dHdjCynybDOgzYR2UwV4M5I8yJO42VRZNY7Zs3/AH/4wm1tvncQ/n7nAa5NqX2trLR9++DDV1YXMnz+fgoKCHjXrBBAyec4cYKvH4P6lby1bW7/Dx/eeLUcN7qft0AXp9JX6SpWgfJylOORJ+YWTXueb/gZuKhJztJ9WOpt0BQsbQxlqWmTyTh9SedguBaWWq4lVYhB2anjqjY+LO594mwF9i/dZvrb+2awt6xg4q5tSYts2//73vznzvDOp3K+SXa/clVhZDIT/RAjfPx1cw1R3gzAGYQwimMQwiGFSiEERJsWYFGFQiEkBBlGVVgfpEK5nI12OdkMnLbDbwW4DqwXsJrAancNuBKvJOewWJ43dBnYcZNzRe0pbHWrs6OVc1XBsO85HH/2Nl1++ktNPP5qLL744mTx7BIsGM88ACagoLRi3bG39DgfM2I5RNf10nIbk2Z4HbRppuulyQfjWNzOPP0t9l86SKBGm7wE+c7o4prKKSk+cuqwQBiG3XPHLs/YhGjZpaY0/1JVOQ/yzz3n7z+OrJ79i6X+XIi3p25n2T+pFwqEjk2jnc04EzRBx9zBpx6Qdw7cGmqrzTD7cNML3mG5Cewji6rBUyGEdRdM2cOMcOSE8fDvrCT3qfFpXt4yFC+9mzJghHHrooT1y1gkBeQZIQjhkPmEagt9fopx/5Dtm0xtqZsKmbed0XH75pfWcplNcGOXSo2eyoaGlz9DKshM3oZwOQVlZGSeddBLjh43njVveYM3Ha5O2pfW9SKQlUOcIYSUd7YQUeToE2p6GQBME8r73Onxwu/DIM276yDMEdigNgSoS1bHmkldxAJpbNvDW279DysWcccZpbLfddl3Qy5uHgDwDuBjQt2TP1Rsaa07YdzJVFcXdXZ0egyuO25XSwgjr65tvEUJkmwV3KPRsa9ttt+X0U08n/nmct+98i8a1TYB/9uknUO3i2ET7lbd9h0WYOCEsTOXDRa+DanNMkWqGqf8WiQTqrm+aDmG6RxjssEOgtglSH4pAMTwCxSVTSdxq5bPPnuKzT//C/Pn7sffeexMKhXrkrBMC8gyg4Dj/iP85Ejb51Tlzurs6PQrhkMn1p+9FQ3NbwbCqsiu7smwhBKFQiL322ovDDzmcrx//mkUPLKK92QLpkaYmTjISZxiLsI9EQ2olw1CbSfpIdQqS4CBEJB06TrsiUJc0QyDDIEPqUASKj0A9EpVIabN82Rv87/VfMmnSSL73ve9RWlralV29yQjIMwAAQypLj9tQ31JxyVG7UFLYc0zgegpOPXAK1RXFrFzf8AMhRKwryxZCUFJSwllnnsXhBx7OR3/6kM+e+JR4iybQxChGOgScd4Tdw3YJ1HQf6zVpbsqh469bhu/x3FTEGfYOP4HiI9AE4sRm9ZpFvPbaLxk1qh8//OFVrt/OnjrrhIA8A+A4/9hQ3/LbksIIVx6/a+KXHbuauKnoMVeOYRjcceEBtLZboZrq8lu7ow6DBg3i/PPPZ8LACbz0kxf5+O8fKwI1FIHmIk7/47upDkciYbmHljYlusFLcY3nkyLZho84/bNO34GPQFGP8JgSKWxWrXqP5/99BZb1KRdeeD477bQTpmn2aOKEgDwDADXV5Vc0NLcVXH/6nonOPxwpiRb3ZBava82m8z77Jk8UK093cTYOE2RO5+lBc49jx02d3rnPnKd2oOzoDBLaMnfmaEYN6cvSNXUnCiHKcpbZgdBEMnToUC5fcDljKkfzyk9f5OPHPiLebIHUj+pOCDgUcXoBiDWROrNO6c48he/AJdAE7/FJf9uaNIW3GaQJVPqJM+m9DiQvTRzixGblqoU8/39XEo9/xsUXfZ/Zs2f3CuKEgDy3egghoqvWN1xVVVHMadr5hyZDLSTXSKYch1w1XYoEf2LJJBoCitRrIeA9+KaSsvDRohMlV6aQt1MXp0QtlUoSubsIYxHyTc7SCfsBIlhEccJ1RMH1RurDPQvmE7dsMWpw38dSft/JEEJgmiY77rgjP7vmZ4wbMI6Xf/ofPvrbB7Q3WWph0SFK3Mjt/kOTqOmTMnnEmeJPM8vfrps8LUHybwzpWaZv1on/8T0ksYXFypXv8vyzV2Jbn3P5gks58sgjKSws7BXECQF5bvWoqS6/pbktbt5+wf7SEIbtXikebeiRrGnHH9HWb/5oqO8N1+ZHqv2MAmw1m3NmfgKIIigh0SmijkmU7P3dxjOgTCRS4Zbr6E39Qn5nWS/i5id86fy6VQsTKEBrVb2cI5gq/q9zO4nDtBGD5c5jBvPpsnW7hUPmwHz7uaOgCXTq1Klc89OfMnXEDrx54yu8fefrNKxoRLoE6mOtBPI0fYeBjt4uk0hU34USfYkm/a2J0/AdauKrZ51+4iQkISRpt5r4/JOn+c8zV1AYWckVP1jAEUccTlFRUa8hTggsjLZqCCHKQqaxYcSAPuKTP50DzkN6Po43NC3mRglaSZM5fRzHeFqS3Zs8+GeDmfPTJOs8pmdPBzaRHOJ+CbRh0+TU7fNl69jue79hQN+Sd5etrds+a303HXldkNoC6ZtvvuGOO+7gvr/cz8C9t2HqqXtSOWEkRqgQiIKIIYjh3B1izmdEEUTAJVhTdbuOiCLS1MT3mTqkvtGqLXrZToovO+nadUpki6Rh1Qo+ePVh3n3xTqZMHsnlCy5jhx12IBaLbQpx9giGDWaeWzGGVpU9GLdscc+Cec4HMnWdLwPyH7zJ9u3p4MQcyk2coNdes+enZ6H51M3wwnDkyM9A0ck2g/py4PRRLF9XP7lPccGEnOV0ArQF0vDhw7ngggs47fhTqH9pJc9e8BCfPbmQ5vXNSDX907NOzxTMeWTXB2gLJfI7fAJ3LXp35Ud6Q8j3iE5I0m43s2Lx2/znsR/x3ku/YY9dt+ean/6E6dOnbypx9hgEM8+tFOGQOcCy7eXTxgzmv7epaLveWmV2Eku/YpgepeRHtY15znodOWJul/aedjw30YbyyDMO1CPVL1i9oYGBx/yCvqWFi1dtaBiWsz75Y5MuSH39NjQ08OKLL3LH7+7grU/eo3rXsUw5ZR79x44iXFAGIgYiCkRSZp2aUFP8x6ebeerP/d5H3EhtIF2TJAmtYDW0U790GR/+31/58LkHqSwLccJx3+XQQw+lqqoKwzA2hzh7BNMG5LmVYnD/0reXr63f/pP7zmHbIX2dDwPyzIwk8gQ47eZ/8Lun3mJARfE+y9d1mNOQzbogpZRYlsXixYt54IEHuP/PD9IQtqjZZwZjDt6bfmPGEi4sxZGohkHoTSUdzN5bPt4k8rRB+vVM7Yo0G9upW7yUL154ho//71Ha1nzNbrNmcPppp7HDDju44TQ2c8YZkGeA7kGfkoLxGxta3j9wxnY8/rOjvS8C8syMNOTZ0NxKv8NvoCAa3rCxoaWv7JiLabPz0MU3Njbyzjvv8Mgjj/Dsc/9HnSkZttdMhu8+kwE77ECsT3/McAx35inSrHeqmniasjTkKXHcLCnilG0WbXVNrP3oY5b89xU+//cTtK9ewtTJEzni8MOZPXs2/fv3RwjxbR/TA/IM0D2oqij+el1t07Blf70w0YY9IM/MSEOeAD+673l+fP8LDK0sO+WbVRt/n7NeufGtL0gpHWfCjY2NvP/++w6J/vvfrGtqoHz8aIbMnMHg6dPoUzOCaHkfzEgMw9SupPLYBtGu5Gwbuy1Oa209jStWseLtt/nm5ZdY+dbrRNtbmLr9ZA4/7DBmzpxJv379ME1HQNEB65sBeQboegzqV7r38nX1z5xywA787qK53heOGEeS3mtnIjaFPEvIfT3aQFOeO/jeHkf2XXRttZg7xrudJHFKn18bkqbUNO1xi36H34Bly5bGlrZiKWU2T/j5oEMuSH1daxL94osvePnll3nyqaf45IsvaDENCgZUUzlpIpXjxlOxzTZEy8ooGTgIw/Q0W0YohG1ZaE9OEknL+g00rFxJ05q1rHznXVa9t5D6xYuhvo4h1VXMnjWLOXPmMHbsWCoqKjqSNDUC8gzQtRBCiIqSgvWNLW3la/9+CcXaht2JJaul7torZ6bdbwtvu1b/nc7TkPN5CChwN3YT85OqXEex7QTZyeTczptFeq6Xk9Mlkrql1DeZ991N9QunRCNtm22gHVv1kTPvTWrzHU++yem/eYKRA/pc8/ny9VdkKC1fdPgFqa/x9vZ21q9fzyeffMJrr73GBx9+yCeffkptUyN1zc0QjVE0cCDCMECAEAaxPn1oq6vDisfRbt5b1q+nff16YuEwFcXFDKyuZvy4cUybNo2JEydSVVWV4IOzE3bSA/IM0LUYVll+0uI1tX+44thd5U++t4dAWxLZrsmiNygN5Xnd+0Q/znsE4zy+aSJJfqRN9P4ewSbq+71DSnrbIdE+yFK/158bLrF7xCYTfqFp0CaZfAV+kjQytE2ndW4MQt0Y4tiKgr22ObNQ3WdORYUthxz9S7GhvsVqaYsXSylb2Hx02gXpn43G43Gam5vZuHEjy5cv5+uvv+a9997jm2++cStg2zZr1qyhT58+RMJhUCRYWlLCtGnTGDhwINtuuy0lJSWUlpYSDofdKKudLD0KyDNA10EIYRbHIvWGQcGaRy4hEg1pdWPm0BXOEpg348ukw3QoTJNr5nVGbW3kWSGlh0NcTr08GWJqnlrk7q2VZl6vdYxp9MpmtrAeDtpUukx9Y+E8ykcRCOx/vPqxMffyh6ipLr/7qxUbTsyad4AtAoFIfivB8OryKxta2gquP3kvIqZLnN6sLx2cmaleYcw8VrTYPJcgXgJNGFg5ZlcCCGOiIxNlI+NEBx6Z66hNPPMhTtv9P3M6E4ipmgmMA3cZzaih/Vi6pu54IUR51vwDbBEIyHMrgBAitnxd/Q+q+xRz6n5T/F913GNH5zxI9ezHoqTV2XsXzCNu2WJoVdmfu61OAboMAXluBaipKr+1td0K3XH+Ae6aVE/Aydf9nQ+/Wp13+nv/+S7jT7iVccffytjjbuHGh15h4ecrmXzKb91GPfjv9ync96e0x52F0/e/XMXEk2/r+MqnwU5jBzNj/BCWrK7dOxwyB3VJoQG6DT3nSgrQKRBClC1dW3fiqMF9mbvz6O6uTgJ+f9lBjB1emVfap1/7jF//9TWevfFYPrjnLN6+8zTKimJMGFHJN6tqqW9qBeDVD5Ywekg/3vlshfv3Lomx5zsV914+DyRU9il6sssKDdAtCMhzC8fQyrI/xy1b3HPx/C4td96VDzLl9DsYd9Kt/O6JN9Om2e3su3jz42VYls0J1/yN8cfeyoTjbuNXf/5vStpr73+JG8/cm4H9nLg2sWiYUw6cgmEY7DhqIK9/tBSAtz5dzlnzduLVD5YADnnOGDekk1qZipGD+jJ35iiWr62f1Keke5yGBOgaBOS5BUMIsdvi1bX77DxmMNPGDE6bpLPK/uPFB/HW7afx5m9P5ea/vc662qaMad/9bCXL1tSz6L6zeP/eMzlxv8n6K3d8LvpqNVO2S+8+c+dxQ+SrHyyhsbkNwxDsNqkmgTx3GZ9Anrnb/C1XWn930YEANLW0/bcrY70H6FoE5LkFQwj+BfDd70xM/CKEVJ7cDdJ5ck+G478zu6u6RI9m3Py315l0ym+ZfvbvWbKmjs+WrdMpbSx35xuAEQP78OXyDZzzq6f452ufUVoY1eJ5v0/5dPUCG2vm+KHi1Q+W8PrHy+wdRw1i5KAKPl+2njUbG2lobmPEwAqnXFu1OVNIEYmjPW3Dcc+Xq80eEtJV9immrChKW9wuipjGb/PMI0AvQ0CeWyiK+xRMkI4TR37+l1edDwUQwyasTBcLQMUTglQ/np4/eR0dzCGyROLxe38POdZJ/3n3K/7vrS/572++x8I7z2D7bappbovbvl84cWwBKbH7lBaw8O7T2W1yDbc+8gYnX/u4541C6brH1VTy1qfL1Y/w7IyA6eMG88Yny3n5/W+YPnawBBjcv5SHnlukH9k926NWkj3le61vxSbuqkf9DjDS902iFF9/zieL11Db6KzBFsZKjw5mn1smAvLcQhGOmE8YpmD7UQP5etVG7n/xfZsYKCtuL3RFBIMY2kO738AxUYgjcUIqJqeAxAdhA2qbWykvKZCFsQgfL17Dax8u9VfNs9RxdKSs3dCIZUl5yMyx8uoTd7ffdjZ7/NZExoKjZ3LJb//FijX1FhK7pS0ub37kNQCzpDDKkP6l3PPsQmPGuCECkNPHDpG/fuQ1hzyTw3rEMWnDmYva2LRh04qmw4RyE0KKSF/L/WE9knSoh175FAB7jD9SbmzcWFJVNvR7aU5RgF6OgDy3QPQbWLL3xtWNQ/f93g5c+PRhCAHn/eapzCJ2J2KkqWahwvdpKpx4tX6/uSlC8jnTtsGybTHxlNu48q7nmT52MCJDfsLGWLaint3PvVtMPvm34sTrHzOuPWXPlHT7Td+Os+btxF4X3WuOO+FWY+ppd4i45U0Idxk/lNa2OEOqygDEzuMG8+WKDcwYn2GzyDGzNGh3586QaT3UiYbkRUJKZzCg+uL5t5ew6OuvGNJ3FAvm3ysKo6XUNq37jRAiuzA/QK9DYJ65hUEIIYrLY+tam9v7PLL2EgqKo1wz5wH+88yn3HDmXlx89C6Zf2wDLXm4pANUYLXcyB7gwlfxPMNwODnmdknnIMWFXNoU+eZp5nZxN/yIm/h6xQZuP+UNRg2ayhNv3skvnjiV6vLhP12x4csr86x3gF6AYOa5haH/kNKTGja29DnyspkUFDtek376m/mYhuBHf/gP8fi39ZgWIBP+/O/3+XrFBsYOnsaoQU4Y5/2nnEzf4gGsq1++QDhu3ANsIQjIcwuCEMKsX998S2FplKN/sKv7eWl5ASfsv73d1NrOxbd2VLSIAMk4+9dPI4ArD33A/UwIwQUH3EG71WpWl9fc3n21C9DRCMhzC0JVTfkPWxrbY6fcsBehcOIS280X7GdHwya3PPoGTS1t3VTDLRe/eOgV1tY2se/0UQzokxgPbsboAxnabzSra5ccFzgN2XIQkOcWAiFEbP2K+gUVA4rZ75QdUr6PRkJc9t2ZxC2bk372926o4ZYL27b54R//g2kI7v3BoWnTXDbvHmxpiaqyoQ93cfUCdBIC8txCUFVT/tv2Vit0/h2pzj9kCBtB6KoTZ1NWFOUvz3/IynX1iRl4jo3zGROegCcTdFgPf/psSHQtlw0hctkAaT+kuaA1nDLHZpF2Gp1h8+ni3/6LxpZ2jpuzPbXrvmNLaTgRK3wYM3gnxg2ZweraJXuFzHDgNGQLQECeWwCEEOVrl9YdP2RUP3Y+0HP+YYKMArXl8Ok2YIUNrj97b8uWkmOuftRJ5Ashq/xo+j9NB29/OpPlkUM2to9cM0c9MrB8RJeN8Pw7XZnTm9iE8UKRO0iso9O6ROpPZwDg7xtwhP12YpubWtr4zSOvEwmHOG7np+Xib2Zq9byUSeUumHcvEuhfOjhYeN4CEJDnFoCqoWV/tuK2uPieeRK09h07BFIAQmCs6w9vToW5J09hYL8SnnvrKz76ao0jFPdoxMQAIgnqTU0ADrFokb3j7d1IsDzSMzSd0htfOqKY9OUjXam+p5/UpWYjb3z5eqTsNFoqOZETTCOMIILfAMBvMSST8vLnKN2ZuL9vHPNN4VooSeyTrnuK9rjNkTMuQVqVQsqw4cvXUAVbAIP6jrR3GX0QKzd+PbakoE/gNKSXIyDPXo5Q2By0eknt3hNmDGHytMHCAOnwBUayMN0KwRfbYC64w4maedSP/qq/SnwcdcLxGilaznQPrTZCzciSzR7TpVYhGfGiYCZrO/12Ow488kqF4eYQJtWSSOcUxiSM8NkIZYqxq2Mp6bll+mB0FgZtsHRVCw8//x6F0VKOm/2TNNmlQF50wB0YwiRkRgKXdb0cAXn2cvSpLHpSAlfcOw8TiDhhurKKOScfvC3Dt+vHwi9W8Z93vsoeXiPkhtfIbiFjqZlZttAVuN+nRtJMLteZi8bJR4rvCOyzw0BHRMq4dpmUOqexwHHXPGJIaXP6Xj/P5WTadKqJ2ae4kgN2OJmNjauH9C8dvG+OegTowQjIsxejpE/BhLXL6yfNmjuKwSP7Avn7mLvujoMBOOG6x7In3JJcWnRgWz76Zg3PL/yMviUDOGDqqZv02zP2+QVhM0pLe+MDgdOQ3ouAPHsxQsr5xyW/O3CTfzt20kCmjx/MNytrefD/3u+E2m3ZOPraRwC4aO6me5wriBTx3VmX09CysbyqbNgpHV23AF2DgDx7KfoNLNln4+rGoXNP3oGKyuLNyuP+Hx1qCQHn3PRUB9duy8aL733Nu1+sZLvBlew8avOevI+ZtYCiaBm1TWtvCpyG9E4E5NkLIYQQbc3xh8JRk7N/sc9m5zO0qpy5M0axrq6ZGx54uQNruGXj+J8/BsBdFx692XmEzDBn7H0jLe2NsQHlw3/cQVUL0IUIyLMXompo2cn1G1vKj7t8FgVFkYTvlDQm53lVsk7j3ssdpyE/vvuFrnQaku86X+7x6TQ4v/y0J/n8kDbPB59/n69XbmTnMYMZN3Qctp2fg6d0me2/w/foVzKQtfXLLxNCFORZrwA9BAF59jIIIcy6dU03F5VFOW7BLPdzR3aJZStpT7JAOzndhhKoLUEWlcbkyfvvQFNrOxfelqTdFtiOWjGn5Y/WUNquTjJt5dGKz+yWR468yG/3kzlshlR2UY5aNXO6FiziqmbZwmsYWITcOqa045xbnkIAN55wg/3RouMxc1hFGSAdFZWbzs0zcBrSuxGQZy9DVU35j5sb22Nn3rCXDIVNrTqXijUEIKR3uCSq1emuJDME707E+GAU4hcX7EssEuK2x96gQYXwxUC6Qvaoq/lMJ153BOeJms1UyyNtSZTokDmVoEJYhHFE7iEMoqSOUqcWtqvZlAhaEcRdyrPddO1ImkGJmbwj2aLIkWUpaTuOh30vRIkF8POHX2FdXTOzRs+RZsuhIMNEMAwlh03oG5WdbSpDBRMMM02bZ4w6gGH9xrCmbmngNKSXISDPXgTl/OOyvgOKOeDkKdJ2SFP67Kj951OoD6UNxMG2kgXnAtb2hzdnhjjjtF3suGVz0vV/l0p6nig4N4Eowjcb9IekSB5HDgU5rohtNdsU+B0Je9pRx/LIwFbWQKnC/AimS97SJU1/CgdxDFpxZqEWkhYk7en7JqEVJrZrmZTcZlWntjabq+5+CUOY/OCgB/2WRKprECHvb+lMXhF+QwVNokKVLxwrMK6Yf49t2XGqyob+hQC9BgF59iJU1ZTf3t5qmef/7kDaDGHE1QyTLOdRgumzRUy7jmeFYL9fzzaKS6P89YUPxcr19emS6cdpPQvVJpXZ1xsNV2Sfvo7aoshMMdFMzscxG038JBVOeA2TNndxINsYN902ZGqHslD6/h0v0dLewv7bn0hpQXmGZBiKa4Wa4qbkqVcu1GEIYOygHY2JQ3Zhde2SPQOnIb0HAXn2EgghytcsqT1u6Oh+TD9gFJCfCyIfsq/NGQbnXbsPUsLRP34ke04dPWq8kHC50+VefyXP3PzIulPW1NLGnU++SMSMctF+t2bNKHninAnJaa6Y7zgN6VNUGejGegkC8uwlqBxa9rBtSXHxvfM7rYy5x+3AwH4lPP/213zw1apOK6e34XvXP067ZXHsrAtlJBTJ/YPNwKCKEew6eh5r65dPLC/sN7lTCgnQoQjIsxfADJuD1iyp3WvcLkMYvWPnPtXdcflcG+DoHz/aqeX0FqxcV8/Dz31AaWGMk3e/olPLuuRAx2mIYRj/6NSCAnQIAvLsBehTWfSUBC7pxFmnxpydt2VMTT/e+3wVz731ZaeX19NxzE8exZaSn518SC7nH98afYr6M3fKqWxoXDO4snTwfp1aWIBvjYA8eziKy2MT1y2vn7jLvNEMHFGxWXlsanDpB646BKBnhuvonEjZaZcpP/pmDc+9/RUD+5Vwwj5ZQjZ3IM7e++dEQjGa2xvvD5yG9GwE5NnDoZ1/nH9HovOPzK7ZE6EcoUsJoeTQEMn5NYexkRgTtxtg7zJhCN+squX+Z99LTRh3N1iymySZWIqWMm/yeKEwjKzidc+Ncu4wHKCVnPm4s3PESmmE/drf6W3nHc3nH821LSsiMhkfgA57j+V3gJwO2lDBr8PVKIgUcZxyGlJdNmzT3DUF6FIE5NmD0XdAyb61a5qG7HfKFMr7FwEuaVoo/Wa787dMvlj1BeoTz0Oa0BAqnR0HWqKIV3aADWXIP119iBQCzv31015CC0lc5Zdt5OhwHqlpZJq/vLAeySL3xEra2K7FU4J4PalsW4n7dR3Te6UXLrELlUuCsP8/73zFwi9WMXLAUCrlb2hoGKCdhsrkm5CjjkI2qQq1kOwX2oOFjmDivHpO6b3kx868jOJoGbXN624OnIb0XATk2UMhhBBtLfEHIrEQp964d/IF5no4VxeusJQo3nbE8O4FmgQDz/LIUuJ5PxmIlii8OR5z/axyceCsUayva+a6+17S5OUJzh3BoplCUCEsQj7BebLlkTbe9Kx7PJ2qjaANbWopXdKM+9JpoWSI5HmlZ+EuXFp0fuGl8/zD+1/B8Q5ve5ZHx/30CQAun/uwZdthwFnwtB3drNA3LAtoArstyQChHUxHr+/csJLNZ3U6GwzfDVBKQJph6/R9fkFzW0Okunx4Xi7qA3Q9AvLsoagcWnZKw8aW8mMun0Wx4/zDz4Up580Cw+EdhG+alW7W4pKub1aakm5NXzjpsfmYpuDqu1+gPW6lF+P7CcoLhZH6uOwPwOH/JB3imAmxgtKld+wfTWXxpMk6dU7s1M9wP/XSpfaNdMq86x/fsGTNOsYPmcGoAdPSzvxUP4tmp4pp+0YCrSDaQcS9dGnbHQfD8qXbb/uT6FcykHX1yy8JnIb0TATk2QOhnH/cVFQW5ejLZuorTse3zAo1A83pHkk6hJk1XaxPjP1P3IHm1jgX3vZM5rI1QTnvc4XXUMXnGHvOXDaeM51Ttsxp6aTrKHL3zUV3PGwKBD8+5MFcVfRTckbopwJytEVZgtmAIYTgwgPv1E5DfperzgG6HgF59kBU15Rd3dLYHjvjxr0Jhbt3yevcX+5HLBLit4+/6TkN2YJxw4Mvs76+kZmj95dV5UO7tS7Tt9uPYf3GsLp2yTFCiD7dWpkAKQjIs4dBCFGwbkXDpX0HlrDf93bo7uoQCpksOHYWccvmxBt6oHSpAxGPW/z43hcwDYMrD/lj54iiNhGXzb8XW1qiMnAa0uMQkGcPQ7Vy/nHh7w6gp8j8LvvuLMqLYzzy4ocsX1vX3dXpNFx4+7M0tbbz3T1mURwr7e7qADB60FQmDJ3Jmtol3zGN0ODurk8ADwF59iAIIfqsXlJ77LAx/dh5/1HdXR0XhmHwyzP3dpyG/DSH05BeioamVm77+xvEIiY/P/m73V2dBFw27x7HaUhxVeA0pAchIM8ehMqhZX+xLSkuS2OGaTjnKp9HydybMbg7HLnPvwBDwon77sCgfiW8sPAbFn35LZyGOFKgfKfUZs4Wa4fIufrG2YCSyPRtPvnGx4lbNpceNZP6xm2xrXDOvuno53olIUspd2DFCGaNmc+6+uUTygr7bd/BxQbYTATk2UNghozBa5bUfmfCzKGMnuo5/9AKoDDYRg7DIuF4LU8vCveX5TjhlaaXV9o8BVhtMeRnw5GWAXderJyGXJMy+3R2sLXj0HThMJxa2a6Pd+dfpp1v6aZyKC99e2y0ytxWR/q+cQStOkWyM2VWrq/n4Rc+oKwwxr7j77W/WbqzjCPsZPF6YlOckn19mLaOhuMu1X+3SGlzkqWR1nsmpLvwAOU0RAROQ3oKAvLsIaioLn5aApfePc+9CEPOhafDOJgxx9luinWNAEs73xWOg129RZ9ApIbyXC5AGCAiYERJG0JCGl5+YslQxKs7wU77bCvHDOvP+1+u5rm3MzgN8QjUgzfr8xWBPxyGTJODU2XpBgTxLI+0iahHg9q/cGJ4DZ3Ocss0sDEV4boWRUf99FGkhFP2uomGxsHClhERRxhtuOJ1N5SJEr27bQg5/aj70G2HCsPhClszTbVlwkti3/hJtayoHwdOPVVubFozqLJsyAEZsgvQhQjIswegrF/h9muX1Y+fNX8MA0dWSE9v7pCXTqc/LwQ3GkYOxbn7cdKF7H7uhCjCCKnPDDV7Venc8dEag3cmYV5118EAnHj93yHJWsaFxFQU6ITD8Ox60oXrAG8mmimd9grv0KJHhpkf/5X5VMZ5uoXAhrc+buI/735F35KBzNn+VJRzd3Tj2hwLIEMxup8gE8JrRMBUfShNdagKmv50/htbksVY5r5ReZ2+1w2O05C2hj8FTkO6HwF59gAYhnjcMAUX3HEAgGl4M8m050cAUTAVwSZcoOmyV1eZlS2/MIiol1/GcdFv9wFMmDGUxatr+dOzC7NfwHYOgvPVEW8lNHN6iel71M8eXsOzm8/cNxLjuOseAuDCub/PmMznQyBruSZOPybf9JIhvJd8+sbUN7PCSLE4dtcraGjZWFZdXnN6Hr8N0IkIyLOb0W9Q6f4b1zQNPuC0KZT1K9If57UXsYlTj3z3N3Kmu+L+QxACzrvln5tWg45Bh+3TPPful3y4eDFD+42SO227b4fkmS8jbu65O3qXSymOlrGxcc2vhBD5BY0P0CkIyLMbIYQQrU3t90diIU67Ye/urk7e6D+4jINmjmZ9fTPXPfBSd1dns3HSjY7o/4rD7s1pstlTEDJDnLXPr2hpb4xWl9cETkO6EQF5diOqhpad1rCxpeyYH8yioKhzYuN0Fu66dB4h0+Dqe18gHu813OPi/n+/xzera9lpu1FsM2Byd1dnk7Dv9ifQr2QQ6+qXXxw4Dek+BOTZTRBChGrXNf1KO//obSgtjnHK/o7TkO/f+kx3V2eTce5tTyME3H7Oud1dlU2GEIKL595Ju9VmVpfX3Nnd9dlaEZBnN6G6pvwnLY3tsTN+sQ9mqEucf+S7zJb3ctzN5+xLLBLi9n90qdOQ/OqXZWX0uodeYn19MwftPIqq8gEgO27nusMWlhORUr/p2+5LTf+xrK5dcnTgNKR7EJBnN8Bx/lF/cb+BJex7kmcwonxsWnEnZEZagbYPtu/k5RPL3Mzmqk7pEqV6mzGdCRQZyJZCMCKmfcV3dyVu2Zxw/WPpEmtv7Znb4ekyjaytdTrHwlY76ZkE8VqM7zUroW/icYur738B0xD87IQr+fCr/bFkKGvfhIAiZ8c7JT8/lDpKi+szppNAu3JGneMcEwbLzHCdXj7PcRpSVTZ0y7SZ7eEIyLMbMGRU37vaWy3zwt/PRQjhKtT11aZDOfgF2kmQ4BBZFEebSZqLUICtjrTadQ0DLMMRxosCIOTNdBKSF4JVApgG4qOpsGw44pJjZ1JeHOPRlz5i6ZpanaGtPL07LofThc1IJkDp+yzZ8sizJPLXKiFsRkqeib5D3XIuuOMZmlvjHLjTd+XSlYdJy45gudr6lP6jEKxCR7cpYiTonqT/Tdy56YHj1Bg7SeTuS2cr8b1QklXXs7+/bBOkLi+Eq+tNMGYYNWgKE4fOYnXtkt1j4cLu9Z+3FSIgzy6GEKLPss/XHz5sbH+m7bstEqTtBANLEJxLoMURaLsXoe8Cc0XVBo5AO+yzPNKEibI40mVLJ4SES8rCIYUEMb4SfBsxPKuZMFDmfJ6g2F89BPHRzgbXXLyPJSUcc82jEHJtghzHyMo8KiFshtNSvyWRx0mONZG+o9hpLIl0OsOXzsLGShHZO+9MXXJtQ7t12z/eIhKKcfJef8C2I25zbDAtX9+EQZY41U7pG59VlrRwNKDJdzhNjio/aePEOfIxpKG7Iu7rDKXhtcNJInsDR0Oa9LRhLZh3twQoLujzJAG6FAF5djEqh5T+1bakWHDvPMC96PzhKRIQJ3uoB/BMAWO4DkREsiWRH7ZnTaTTpeRrOPkZERBFXgVTFmfbozDtqu3N6oGlvOg4DdHzzXSVNH3fZGwP+hHedtNkWpPUlkdGlrzcHI657jnDsi2OmLmAkBlOm6flEJQoyNE32irLR4aZwnWYNoh2Xd8M9bTBjOPeoES6ctV5NsK+vAZWjBC7jjmYdfXLx5cV9u1+B7BbEQLy7EKYIWPImqV1e0ycNZRRUwZpRsg3vIadzWoF3ItLiDzWQKVz7rNqjDQp54Mr7j4IgKN/nGP5zQsYl88mjZVnupz5LV9Xx1NvvCaKYmUctesVuTLLGmIYVVi+23ybuDmU13kWvr658EDtNMR8fNOKCvBtEJBnF6JPVfFTErjsnnndXZUOx/S9RjJ2uOM05N9vftHd1UnBMdc+ipSS0/b5uWUYW9awLyvsy0FTT0c5DTmwu+uztWDLGkU9GKV9C3dYt7x+/K4Hj2HA8Irurk6n4IEfHgLAiT/7ezfXJBGLvlrFfxZ+TXWfvuyzw4ndXZ1OQeA0pOsRkGcXwTC1848td2IwcZtqZk0aypLVddz7z3e7uzoujv6Zs5Tw81PO6eaadB5ikUKO2/VKGlo2llaVDTuju+uzNSAgzy5Av4ElB9SuaRo09/SplPUt7O7qdCoe+KHjNOT8m/6JbecjP+1cPPfOl7z/1WrGDuvP7Ilb9n7KUbtcQnGsnNqmNb8MnIZ0PgLy7GQIIURLU/ufHOcfeyV853Nxls+egpFLUK1gk8d5NZx0Wfc8tPPfXHkpv5fYBgyuLGP+rqPZUN/C9fe/nD6x8nuZM1Onfvm0OWN+J/7cWUK4++KjWLVyspTSzNk3prNpkzWdMmjIay/Ix2L59GXO86xkTSl9EzJDnL3Pr2hpb4pWl9dck0/dAmw+AvLsZAzetuLsxtrWsmOv2JVYoeP8Q1sSqXlZVqsVlGYzDtJnvZLu4tIe56WPEVPy9e0SS0+Xnj40hPKaLlvJLNi3gEawm0G+NQEaC7B//4N5dsg0+MndL3pOQzxLIqk0n36dZ3LBlu+bzH2jxfgmUuWncwDgT/+3kMWra9lpuzHEN9xAc8NAO5ylb5QESeK1OW3faM2mrTSwuKc0EQIoADsKshjXmCFTeyyAZueNne4ca8sk7VtUaX8TMGfy8fQvHcy6+hUXCSG27MecbkZAnp0IIURo7fL6nxeXxzjykl2sZEsiSPUuTmJ4DS2URjiWK2ZyaAiVztZpDTAjyrFxsuWRtiTSZer6+BOlIXbDBppBxL20Ujqf2Q1OegGIhmJ4fXuMNeNi4pSDptDcGue8m/7ptyRyinYY3EywPPJXJrF7UkOKOBoq6SpADQxCmGqK56Y795ZnEAgWHPikbVlRBKYZwXFDlNw3YU+YLoQSzDeR6IzeT166ZGXlJcwkE4Aw2IW4ElNhAsWO8YFOl0L2evrcDGYLCNUdltNBanafpm/840EIwSUH3inbrVajurwms4fnAN8aAXl2Iqpryn/a0tgePfOXexMK68gUaaxlcK8o16hQi9yTHx/VI7IRV5ZH6SyJwJ1FuZZHyZZESXmaitRltilwOxgtOI+r9U49/KTovls6EHH4fXOIRUP87vG32NjQotMZ/nQJlkfSbV5K3ySUYbiNEYik8euQqoGBuOqPH7KhoYlZow+S/UqGp/RNAZhRpz+kutGkNSpoc4gMC2QSeSUUG3YMChAgC4EIqaFMlPWQUJZLLicn3UABh7QbcayX2p2/c/eNasfO284Rw/uPY3XtkiOFEFumtKMHICDPToIQomDd8vqL+g0qYb8TtsdwBn1WQby+2ATEc2lNLJ91SzZRdQjXaiVjGA4N6dFYxrVQCbQ663JkS2cXmhzzQ8dpyPeueyxzudryKD9jAQPhOhvJmF9cWuLnf/07phFiwbx7svZNzCHQrH1jAy3OzSpr3yhTWSMdGSanK3LCa6S1YPKj1ZkF52MskDBurpwfOA3pbATk2Umorim/s73NMi++03H+0Z1Qpedr6LKJBjGZceSlM+lTEuNvL37M0tW12RPn30U56/f9W56hpa2VA3c4WRbHSvMptsPa3BlnenMqt93AHZg8bFdW1y7ZrSBSNKzDKxUgIM/OgBCiYvWS2qNrxvVn+r7bdnd1ug2GYfCL8+cgZR5mmx2EhqZWbn/8TaLhCOfte1OXlNlT8YN59wBQHCsLnIZ0AgLy7ARo5x+X3zu/u6vS7Th238kMqSzlpfcW897nKzu9vBOue4y4ZXPO3KMJmVu31HFAnxp2G3soa+tXjCsr7Dulu+uzpSEgzw6Gcv6x+6RdhzFqh4HdXZ0egT9cqpyGXN25s8/la+t49MWPKC+OcfaBR3VqWb0FFx3wW0wjFDgN6QQE5NnB6FNZ9BTAgiTnH2rdKt8lsbzOS75rYT63d/kgZx03dQ1ur51GMn54JR98tYZ//S+N0xBHNJRv32RMd/TVjyAl/PrsObS1VmRLmlA03dA3m9iHeZVrp2lHWWFf5k09g41NawZWlg6eu2nFBsiGgDw7EKV9C6esW9EwfvahYxlQ08f9XIVn8F8v2RRBFqT3Lq6h9YZK85kzndIq5nKz5v8u7bWtRahWljQayh+oXDkA2zLgT1cdLAG+d32S0xBnK9v2CU7T11EAESwMd8wmtHnRl6t4YeE3DOpXxo5DfmqtWjlJtzlj38TBUg6Lc/WNVP/JTNY//r6xlA42a2YgI2m0nskwlQpBi+LTpVE6XLslw7g5Y8/riIQKaG5ruC9wGtJxCMizAxGJmk+ZIYMLfnsAkHiB4tNwKiRfMPrCSHD+60+k8pPawsQC6oBW76Jxk8edz92rSIWFSHsR+gT2WvbkidcTy7Z95pp+UXjCxRoBS+kcxZIajEUTYdsJ1XLWpGEsWV3HPU+/qzVPloo3YvhshCTJ8YlMbKW3Epgp6k4AjlJLAhfu/wDr1oxGyrCuYkrfWKSI3zP2DT4xve0I11MISnWAaxUUx3F+rMjWSsrIVZhFwVBCes8AQMFwYhfpfhaacP3tULIxuwn3Bi3qcHSh/g6MRgo5ftcraWitLa0urzkrtfcCbA4C8uwg9B9cOnfdiobKg06fKsv6FmKB7b9Ak+AnSB2dJ1Vw7rMgscFuTyQvV0fYAka9k5G0wW51yk5JJ5XVCt5FaCeL8X0kqn+jTUP118kzF/czHXfHSBLjNxXDwh0wrv3DwVIIOP/mf2I12unnhDYmNtpDvEUE6QrpNW16FkoA8qlXVtuLvlpNTf+xTB2+H2D6NZZ6jGftQ5IIykeiwpeHe6fQbGeBne7maOPc1OKp5J3QfyZQ6IT20MYRtunLzN+P0rEKE/qm3KRupP52SqAJTGX5JW1nLNiH73KRXRzrw8bG1TcGTkM6BgF5dgCEEKKloe2+SEGI06/fU0DC+lMuh+Oaq7KlE5Z3EWcK40CDYwFkyPQk509rSkVwmRKpwkylmhe+jzO1gTCZQ1cgwJhSJnafN4aNDS1c9+eXIVubbSDsWAuln2u6lRQn3/iIAXDVIQ9mzA6nX3RfZ+wbTVDZ0qjq6XhQum5p01tg6IBvuh7pmqHDnZh5iOwl0KZmy+nyU+VSD0KlM0Jm2Dh7jnYaMvzabG0LkB8C8uwAVA0rO7OhtrX0hCsd5x+bKLzO129bXunUrKjD8uzoBbLL751HyDT46QM+pyGZkTPBvc+8y4r1q5g4dBbbVE/Mpwr59k2HCefzzUgxe4ePB30O9550HP1LB7O2ftn3A6ch3x4BeX5LCCFCtWuaflFcHuPIi3fp7ur0eBQWRzn5wCmypS3Oub99+lvlZds259/0TwSCqw55oINquOVCCMHFc39P3Gozq8tr/tDd9entCMjzW6K6pvyalqb26Nm/2odQKN+QYFs3bjx7DgXREHc+9TZ1jS2bnc/197/MhvoW9tphV1lZNrgDa7jlYsdt9mF45XhW1y45InAa8u0QkOe3gBCicN3y+gv7Dy5l3+Mnd3d1eg1CIZOrjp5N3LY54cbHNiuPeNziJ3e/SMg0uP7EKzrsEXtrwALlNKSybMij3V2X3oyAPL8FqmvKf9/eZpmX3Hlgtzv/6G247MhZVJQU8Nh/P2bx6o2b/Pvzbvonza1xTp07hZLC4o6v4BaMbQdsz6Rhs1ldu3R2LFJU09316a0IyHMzoZx/HDl8fCXT5njOP5SUReKs02dd1FcbBGaudGorPme4DrX1KskjpLjSG+YMw9EKVjaBtoYK65E1ne6b1hjCFtg3neE4DTnmugwTIJtQiuYTqGto4XePv0VBNMSPjz2Nlcsnixy6dC0tyiv0iHIBlzUchsovZ9/4NKAZjRl8+Umc85zPRl6IPAwVMsUxuXTe3QigOBo4DdlcBOS5mRi0bcUTtiXFFT7nH5ocpBKdk6DDTkTI0fPJEAknIeWiMR2xtAyDCHsbp2nTafGe1hVmuFhd/aLemU+++CWO0LoJz2omWWiu4bjjRBogLa/ctIXGHd2hfG8KrBgCR+01iaH9y3j5g8W8+/kKf3InqzYc9+lO4W4dT7zWcf5x6t5n2Z8sOg7bivlVVwlt1mSonIVmFPZrktMWR3GvLSl943N4L3wnOKXZPkKULXj9mCGdLVPHQ6aulFEgW0iRsGOogPB0pgnkPaBPDbPHHsa6hhVj+xT13ylNOQFyICDPzUCsKFKz/PP1O0+ePYxtth9g6QvUJ5Y2/DpJfBYkphPuwfXqrsjHUJ+5YnlDXUj+dGGgwMnDvaj05z4Bo1AFupYpvgvbfzEaSmxt+KxmbG3q1+ZdkCZO5f3pLPWFZeKFrlDptP5RSjUzS7KyMuwQfDEa491pcOsP5toAx1z/KPiIHU10cYQK7CORyCWravnbi59QEitn/vY/l7Y/KlESkkOe4DGsX8cpfTe9lL6xfH3jm2XqpFqYbkhf3/gIWz+BmOB4pW/FjQ1l+4ld5WXo8aBuhO648TdFj4cIpIQU0YYKWmivkTwABHCJchoCPJaxEwNkRECem4HisuiTABffPQ/pzeDSLnr6RONCzyqSLUd0upBjGiOMxHRGcrqoE0LCT7BpRdXS8/iuiSGtqNpWMy0LZLPXlpR0eromcaNnZArrgYVjypjFyorGEig9d6Sx3ahKPly8hqff/Ex/lVi2s35g0oo45LLnkFJy9pxfYxjhdI/gmsT9ZJgS8kR4xCf9xJ6cmY1jamkn9mHac60ZzM6STnulb09MlwIDJ7SHLzZS2vHgDykScn6TbTyYis1lCCgrrGD+jmeysWntgKqyofPS1SNAZgTkuYkorSiYum5Fw9hdD3Ocf/gsiTL2pboqhSB7SFs9RTGdcApZd6BMnJlHPttU0ikzniudlUeoEJwEpqpvrrAeua2sBCz46yEAnPqrf2TN773PVvLGZwupLB3CvpOPz5ZU5Zx7jZhN6BvpzSQzQnptzdqWuHdjyzUecoYJAedmFs5j3PiytgHO3PM6oqECGlvr7gmchmwaAvLcRBgh4+9myOD7yvlHgG+PEeOrmDl5GEvX1nHXM29nTKce7bn0oEDf3VGIhgs4cfZVNLbWllaX1ZzT3fXpTQjIcxPQf3DpQbVrmgbOPXNHSisC67aOxF0/PMQWAi6441lsO3Wz+V9vf8Gir1ezTfU2cseRe3VDDbdcHDXjIkpifdjQtPrngdOQ/BGQZ54QQojmhrZ7owUhTr1uz+6uzhaHAf1LOWTmWDY2tvCzB19K+f57v/w7ANcff11Oe/cAm4aQGeK8Ob+mtb0pMqB8+HXdXZ/egoA880TVsLKzG2tbS4+9ajbRgsw7vAE2H3ddcBAh0+Cah15KcBpyz7PvsmRNHbtOGMboQaO7sYZbLuZMOpbK0iGsCZyG5I2APPOAECK0cU3Tz0v6xDjiohnfKqtcCdSObc7zojWEWXdEfIVmc3GmYSS8fHu4+pk80tkCUVwY5YwDptLSFuec254ClPOPO/6JEHDvxYfR1NI3HwMA30t2qBOSr1OCLt9QybWplIR806VsfAkhWHDQH4hbbUZ12bA/5l3BrRgBeeaB6prya1ub2qNn/moOZqLzj+QwClkfKTXZZbI08Wsy0wm0/YW2OYJuic+DeTqYYPl0gBnThcFSwuusoSGEk5+ri0xXR03sPr1n2jYrLSVtwCejkG1h5M9P28cqiIa482nHaci1f36ZjQ0tHLDTVJYsuUrWN/WzJTJj36hKe0E9MreDMNhRkGYOolW73X6tZ1pBvEztu0yWQhKn7Vn7UPeNGjeZjB7cn/h0whktlIRyBq3yS2jHTiP3YkTlBFbXLT1CCNE3S1kBACHzmrtsvRBCFIajZn15ZZHx0Dff99uwS5wB63rwJr3Jo02SHtInWZI+CxCLpBAceDMEW3jCbctOr1sE5yI3cTKyDWXq56+j7V1gBk5lpbJccn9rAU1KMI/vBmsklQGOpZRf75muDFVHC89oQFsc2dJXfcOCbT7DeuAXL5uX//7/mDt9O559+0va45LHF6yRsXAft28MkEZS3/j6X+KzrCHxO0ywQ0l9EwdavBuW277kflWf2erVf+41afnPTaZzmtA3IeeG5PaNBNqT+sZXrjtu/O3y/1YRo5Yj6QgBbt/o32rzTd0+CXy44m371DumGJVlQ19atfGbXQmQEcHMMweqh5X9vr3VMi65c64mTn3huKEr1N/+R2P/dZsiJJeOtQ44szM7i/javSbiINtIP6XQV60uVJtLJouqtd5U/x11iFMm1R0TKAYj5l1k/vwSiDsOhg41YXmEmyI41wJtCbIdNw5TQpttEz4djTn7VzPpU1rA4699SktbnAOmnJZAnOAJ+9PNoHSeuhLC92GEBMMCP4FRhGcCK5z22unaLBMtinTXa5muH35DH3c8JPdNHEwtxG9X59k3JpLLhaQ2+xPpc2x4ZUp/+/1j0cYxw1XhRGgGWTNgBybV7Mbq2iWzYuHC4QTIiIA8s0AI0Xf10rojR0yoZOd9ttHWG0a2hS/hvYjkwaqx8usNnDj+1uRQsSnn4o9XPceb//cFeAJtyLI+9/rTn5lnTr2DY8fcIo4d/Rvz1oueoX5jMwf0vR79hPHBf5ewu/iRsW5pLQJorG0x9q64LkUeJIAoTmgI/8wyHdRMKd+1WuErKW2ejcVwxNWz3L/PnHNTxrItZQ6qkLZvFKGYikjdp4V06WLOTSOtNU9yct/6dD5roVnTqD70903GsqUzBtPezPyFmV6bs655W4q81RgzLpp3DwIoipUHTkOyICDPLKgcUvqobUlxxT3zgfx3C9RgzWs9JNt65UlX78HUPUf6kmbGV4tWcevZT7HgTwdz30dnW3cvOpOBI/pQUl5ARXUx33y0BoBFry5h2+2r+eDVJQD2oteWMnbaYAwj/VDorgHyzv99DcCQvqMJmTmlh5uyOZQzrW/W1h3It9x8w3VsCmyAqvKh7DrucNY3rBhTHjgNyYiAPDMgVhgevnpp3a7b71bDdtsP6PD8rbjNtcf/jZMm3mZedeifaWlqS0lz7Ql/4z9//QCAOy/9l3Hy2Fs4beJt/O6iZ1LS/uWGVzjqB7MYOro/4Dgcnn+mM+4n7DKERQ5ZsujVJRz+/Z3dv99/dQkTZwzp8PZ9G6xevJH/PfkpJYVl3H3OR91dna0S5+x/G6YRQgZOQzIiIM8MKC6PPSmAH9wzr1PyX/LJOg44dQp/fO9Mq6g0ymO3vZExbd36Jl557GNx5wdnccd7Z3L0Fanr+F8vWs22Uwam/f34GR55rvhyA7sdNpaP31wOwHuvLmHiLj2LPK895lGkhDOOviqnzXmAzkFpYQVzdzyLuqa1A/qXDZnf3fXpiQjIMw369C/aad2KhjF7HD6O6qHlnVJG5ZBSJuwyFIC9vjuR919enDFtYWmUSCzEL09+nJcf/ZBo4aaJ9MfvMpRFry5h+VcbqK4pJxoLIyU01bfyyVvLGbvToG/Vlo7E5++u4IOXF9N/SCl7zziku6uzVeOkPa8lGiqgubU+cBqSBgF5poGEx8yQwYW37f9t8siK5LGYbWyGQia3vH6KNeuQMbz62MdcPudPKWmGjavks7eWp/39kG37Ur+hhVf/8QnjdnYCpY2aMoAn7npXDBjeh8Li6Ga3Y1PT5cL1xzjOPy686yBsmXVvrsPL7qz8NhGbsrTeqWVHwwV8d7cf0dhaW1JVNuzcTiivVyMgzyRUDimbX7u2acDBZ6V1/pHimDYZSrJjKSlLxutw1eJa3nt1iS3B/L8HFzFh5tCMdWqqb5VNdS3mTvttx+m/nsOX765MSXPYxTN46GcvserTtQgwbcuWf/7lq+7343YezF9vep1xOzuP6OOmD5EP3/SaMWHnIRnrmCTgzhVCIq+QFHEvlHhKuW8+8xnffLiGmvFVVAw93V7GQNMyMlOZT9OYJZUDHyuY2eqoZDtah5kx3asfP86DL12ri81qHGGAtWTtpyz4034ce9M2nHjLGK5++HDWN6zitNu35/MV7zqZWO3W/tcUiX8tvM9tzul3TOHT5W8n52dn2z33QUuo9PtcSAkJc+jOF1BSUMHGpjU3BE5DEhF0hg9CCFFSUfCnaEGI069NcP7hio1DJHgodz/3ay313z5BX4LI2gaGjunHs/e8K359+j8YvG1f5p4+Vco0F4WQyOb6NnnFvAdFW0scW8Jpv5zjvygQwLiJ1db5v5pj/PioR0RLUzsIxM77b+fmM2GXobz21GeMnjLQAszxMwaLZV9uYPyMIVKS6BdUkyGO+FrEcKRIVmLTXHLVcp04CcLrZHF+ild39eqK13958j8AOPDCx+WKJTtIOcykrhS2+xQZimMb0usb6XUlEschtZlkuKBh+AwV1AnToVKEP7+4cwMwBY5j4STv8n5YM0bPNWeMnuuXpiX0jfpQGiBa25vFDx7YnzP2+YXcedRcAdjvfPW8Udu4hrFDZvDBklfZdsBkvli1kMF9R/Hhkv+KvSYdS3Nbg7Viw5fmyOpJbiGG10a/OD9BdI+vbwwSoglkSieUv1nt7Npth2mGOGPOTdzwt2MjQ/uN+RUQuK1TCCyMfKiuKT9v1Te1vz7t2j3ldy+bqS/CtINOi8LVDFNYHjekzOYNH3nanrPhlMcuXzot0DaTE6mLXFrKgiQMRJKsZXQ6H5n7LV0SiBxcTaDEaY/p+02KLWqbZ6JopLMk0gh5DnyF7qd0bdblPPm7D7nptIcZNnEWJ/7yxcR+sWDoYuyBKzAMO60lj5eWBMsjkq2s/G1WBGTpECP+Nv/z3Xv586s3ghAMr5rIgoPv8/eH9cw7d5ufLn+Tc/e/hRc++Av3/ufHGIZJUbSMX5/0YgKRP/n2H3n36//wg4PvdZ9M9Pn493v3y9c/e1pcccifePT13xA2ozzz7t385uRXefur5+z7X7zGuPH4f7tjI914wGd55OublJuDjxT9Y9WdAODLQCWwDDBNKTny1zWsa1hpx622UillY7q+39oQzDwVhBChaGH4hpKKAuZftLNoxw1pkPaiV4RjKELRH6Vdh/J5Xvf/PGM6ZQGTdsFPOPUSKnSi0GEXSEMO2k5RxR7Ss8t04RmIq9mH7+OUdAYQBUNbwZClzfHECz1jOsC0bZs7LvwnCMEhlz+UksA24evhGKuqYML7EG7PbKhgq9llWFnZpOsb8FhfifZ1dibAV6s/4E8vXcMtJ71CeVE/apvWI9QMLl0f3vfC1Vx37DP0Lx1EQ/MGaXpGBcLJbxGjBk5xOyLkxXli/JAZ3PXclQB8sORVjp/9Q55b9CDNrfV8tOS/xvghu+i7XtpVcd0+3xRI941ITqfbIBO/SztuFKuKEM56/CVz/8CF9+1lVJfX3AUcnqYqWx2CNU+Fqpry61ub2iNn/GofzJCJlceCvB5ovj+zQibd5bOks0SO/FTZ2UjJTaeIOKfsx3Yuwqzia03eufICj6By1fHBn71ES0MdY2cdQmm/9HIrgOZCqCvN3TfgXPj51JE0YTje/uo5Zo89lPKifoAT68dUVj3pMhg3ZBdueOwEnnzrTixp51WuJvYBfYaLdquN9fUrWbz2Y4b0G8WogTvy0dLXWbTkVcYPmYHIIwyHOs95jRuRYc05OZ0Kd20BTB25JyOqJrK6dslhBZHiwGkIAXkCIIQoXLe8/vz+Q0rZ89hJ3V2drQrxuMWD17yEYYY46KK7urs6AEgpEZuwmf39A2/npD1+yuraJZx2+2Rqm9YlfD+8chyfLH8r4+/HDdmZFz78K32LByCEYOzg6Sxa8gofL/sfYwdP3+x2dDR+MO8ebGlRWlDxt+6uS09AQJ5A1bDyP8bbLOPCPxyUVTIUoONx6zlP0dYSZ/rBx8toYXF3VweAKSO+w/MfPOySYF3T+qzpl6//gjGDp3HiHldTVtiP1bVLEr7fc8LRfLDkVf77qWcq/vpn/+TLVe8DMH7ILvz1tV8xdsjOgEOmzy68l4riaooLyjuwZd8O2wyYzPY1u7O6bmngNIRgzRMhRF/DFEcMn1jFlL1G5v5BgA5DY10LT9/5NtGCEPufe7Vsb+0U7eImY3jlOI7d9Qecd9dsDMNk2+rtuWz+3RnT3/HsxSxb/xlSSrYf8R22qU58eomGC7j26Ce45Z/n85t/nk/ICDOyaiJn7XsTAOOH7sKtz3yfcYMd8uxbMgDLthg35Fs53u4ULJh3N0f8uobiWPlTwJjurk93Yqvfba8cWvbimiV1s25/5zRGTk60YdfedXKhOf/isoYe1jAhbuZxY9NSqFx1VJsTcfLLM2cdJbAp262Z6vej+Q/y6mOf8L3r92S7Xe+3mxsrc/bN6I+I91uXux0mjmu+XGuAakMtZ9+oXfIEKVK2svMZN/l69hBpFBIZkNc59ulxc/Z3urJ//NejeG7RQ5QV9pu+sXHN63nUa4vEVv3YHisMD1+ztG7W5N1rUogz3ynQpri2yYc41UK93ijPiCTtXtZ0SiqU9eLzkUNO4mzPliBPrF68kf/+/RNKKgo48Kx5tLaUGplllR6sEKadn2eknGlUW/LqG+X1PZ+NqryQ75RFpTNkfuPBzCedlUdbshHsBcppCFu505CtmjyL+xQ8LYCL7p6X8LmhQlcowTAyQwiJdrC0MBxPIpcCdff2p0mbLgyyEHfG5NfcJ5SrM1DOh+1MV4uSUUkVEiNjyAflFNe2cJwuZ2qzDTSD3ZZYr0zWNRa4V2hK31x79CNICYcuuNhe+Oap2HbUpx5KAwNJCL4eidzYF9sy0qczcCRmOP2SMWyGheM5Xmlms/ZNC9jtienSjgdlWCB9TprTpkv6PO248ddHO85O146k9mmtbgoUaWrnx1n7Rn8uM4ybkoI+HLzT2dQ2ra2uLq85LE1xWwW2WvIs7180bd3y+lGzjxhPlXL+IRxJoev8V804/F7apb5zK+ex+ndoCw0Fd6AJ36vwnrR1v1uoPwpBRhzSxAAjDGbIk5RY4F5l/phFpt8LuR7gmtjbvcdMUzpa84SLTbXPivuaYYFo9bVZp2sFu8lrmH/WInzJEpBB52l//u4KPnhlCWVVQ6iZeqWUdtgREwq/NFMRjCOMlBhIBLRHMT6ciPnRBERbBGkLr69DYJkkOAnWgv+EvmkBqxVX72haYGjv7f6+aQOrxUtn2CC05/UEtkqKBqD6X9ierlITUELX+PSYbt/4OtL/E2Eneq+3fOn81XENvPzkrc6zjnkFjs7U1BZj/r7RZrakjpsE8j71O9dYsXAhja21d22tTkO2WvKUyvnHuY7zD6mFwVoX6U9rOyQFalbhH4Q6jSY9PQtV+aR4+04WZoaBAlzyTTYr1GJv4Zuupmg79cVqOYcOGpZWA6qtafwhGHxVc9HuI+UmEh7Vk8eM/lv3SdrQFb785dWHPgvAQRffjZS+iHrJi7iaCgQCkVjuxgp4czpi2RCnYG3QkG6NUyriUaEmMj5at+OEFFEzbL/4MyFPS40HPSvzwUhKZ+hZqFeVxHS+myok5pckI/amqElE7L8Z+yHAMZn13ehT+sbyjYdMTzA45Zr6ZmAAsXAhJ83+EQ0tG4uqy2vOz/LTLRZbJXn2H1J2cN3apuqDzt6J0j4FoGZ4udYk454lR8Z06vo3FXFmvCNrggl5j/QZ04UcUrZ8H6WFpS4WPPO/tHCnslnMHPWXreqCyZYfvu9z9eEbT39mrvziKyqHT2DEDnukT+R0oonAyrYyZ5vwzUiMdVUuYWcNm6HanC5In5cnrsVY1r5Rs7mcfaPSGZnIy60c7g0nG4fpPM10SwJp4F8rzVZHTZ5Z+8a3vmALMI+YcQGlBRVsaFx9nRBi0/wkbgHY6shTCCGa6lrvjhaG+d7PvuN81tFldHB+nYicF2pH45enPA7AIVc+mDuxyK9+1pYluMv3nHTGudukPE3D5Lw5N9Pa3hQZUD78hk6oT4/GVkeeVcPKzmuqay057keziRZsdTfLbsXTf3ibdcvqGb79TFlVM667qxOgA7D3xKOpKhvGmrql5wohirq7Pl2JrYo8hRDhjWuari+pKODQC3qeAHlLhm3b/O7CZxACDr/q991dnQAdBCEECw76A3G73aguG3Z3d9enK7FVkad2/nHWTXMwza2q6d2OB376Io21rcw6dCyl/Ts+oF6A7sPUEd9hm6qJrK5bcmjYjPTr7vp0FbYaBhFCFK1bXn9e5dAyvnPMxITvci3mb26RHZlO5p8u77T5lL0pi2CZMmtri/PgtS9hhgy+/4eDkHbei5SdMT47tM2dgA4dN51UdgqumH8vtrSpKK7+W0dWqCdjqyHPqmFlyvnHXNf5R5Lkw9W7pYOJo8U0U36WFjkNTQQQUS7EMomVdR3bHe2dPldp81Y76Lb60sixG+uXqGbMzydzydo3ys+nFBn65rfnPk17i8Wck3fls/fPs+Nt0VSRTyospNoykhn62/nOWtsXI24kCrmTk1meFtN1s5YunU9+lDUMh09HJLOlA8/DfaZzrPMLKZ1xLgilpvDpPDPB76Iu2/nT+maTHONGneAU14XbVE9iyvDvsLpu6cxYuHBEHs3o9dgqyFMI0W/N0rrDR0ysYsqejvOPZIGxlShqThC5x8CK4WgxC0HEkoXcHlw5ke8WnnJxhcCOqvzw5C4JF5eWE2mNnk/Ml0JQ+qLXn/u1gGkuWBuQKr+0wn5N2JaXn0gWaGuEwdIaywiIZGF/w8Zmnv7920RiMaYc9BRNDZUCyxRYwiFFmXJRe8Qu0RJ4mUCgST2woQL+Ox3W9kNaSSNaWWLpsBvJducJ/a3Ou0wz/UqoowG24Wl4tToVkvrGcET7Oo0+1ymWRybYygG2CDv9iEhPyrpuQqSOsbRQNv46vwQowpaGNx70x+nydK8VFZIl5VpZMO8uBFBW1P9fmeqzJWGrIM/KIaWP2pbksnvm22lmUe4Y1EJqlYYQjrlksqOHMFBMVqfAaS1IhEOaMuR96A9/4FqQ2I51UIJFiM7IBFORrpROGksRZ4KoWipv5Xjt1eaShi43SdiPBBl3zC/1o39C3/hJWc02UxyTmEAEx4s7wM+O+he2Jdn1mCttwyjAveadqa3AdmeXtiLIVF2ireyL1EyTRKsaE6A9Au+Px3xvArRGkMpyyvIZFiT0oZ41ykQTV5cIk86PRM2sTe+7rJpNX7p0X7s3zLAiL3+ehupD0zdrVLphmTxuSDwFaftGkaTpmylbpo/YRWLfGL6btN+U2H+TwAKhjDGkDbIdZHnZEHYbfySraxeP6FNcvXOm/tlSsMV7VYoVhke0tsS/mLLHcH79f8f7A5llhQBKyb0IZAFNeeQn8cgmF/J13GA5AxdypE2+OLPkpwXiOVGYq1BgxeKNHDnsJgpK+nDpX9dlT6zvKLngzEezt9eC8e8jyzbm1eacfehnonyqmG+6SB7p1FOAzCMp5OEpST+N5DMebO9t1rL9az/1zRs49OeVFMXKV9U2rqnOo869Flv8zLO4LPakAC6/a56+A8OmOUPKinzWqMAdffmWm5PffYM/nw0QkStP37Siw/rmp0c9Akj2PfPmfJJ3WN/YJmzok7tfVJvz6huVWZfPNDZx3OS11q6Wa7K2ZVPGg49kKSnow/ydzqWuaW1VZdnQLdppyBZNnuX9i6atW9kw+jtHjqdqSFl3V2erwqdvL2fRq0soqxzKxD2O6e7qBOhCnPSda4g6TkP+uCU7DdmiyRPl/OOCW/fv7npsdfjJMY8CcPAld3ZzTQJ0NSLhGMfv9mOaWuuKq8pqvt/d9eksbLHkWTW07LDatU3Vh57rOv8I0EX471OfsvjjtYycWMWIybO7uzoBugGH7Px9Sgv6srFx1bVbqtOQLZI8hRCisbb1D7HCMKde853urs5WhxtP+QcAVz5wcDfXJEB3wTRMztr3ZlrjzZHq8uE3dnd9OgNbJHlW15R9v7GuteSkH+9GNObd9Hw6xZzt1nKmbMJmieONPFnvlgU546KrvELkWNBX/jizCq/dQh2pSz5mPTl3awFiymdnujo+8fu3WLu8nu13qyFctp+07DDehnbmCiKyi9IBvXOTs28A4hGknaMlvvOWs2+0QUOudKEsfZNcfD7jRvlUNfMcX3n1jchjB13ttmd1y+fLz0qX3x4TjqKqbBhr65aeLYToGaFROxBbnFRJCBGOFYYbI7FQ+B+rL8Y0U+I1WDaYbYmSxWRIHCG0WehZXySkiwNNPose5W/TSHeBGc4gFMLRP1rK32dqgY4lkR6smsgSBroE2sCOq++02B1SA7cp8bMgkRSz+Wy0bDBbPVJOyC8EFOGGCDHbvQvaAMf5xwEV19NU18YVTyy0w8Wjsa2wQRwLmSFWXRgLQ31nZ6lbCAtDfWdhq/xSyd7ARmAgkdXLYcRnCNNK7BvpvQgcraxhZ+ibEE4gQHzjJl3f+KysbOk4S7aTtbI+2DhfGKYzHlLGjfKlalnq1qLSmZDqJ9bwBWlTmtW0faNuoob0iFsrDfz6YD1hEHh5aeVSyrkRvn6z01xT73z5PBffuwdD+o56YvHajw9M0xe9FlvczLO6pvyGlqb28Hk3z/ETZ4JwWA104RsJmgR0pAqBEpk3gNHsWVNYEmgCqwHXW7uhMtCetl0LEuEQMOq90Ol8Qnxb6yt1wT4kCLTBJWwZ95IKG8cBsr4gVFmu5YgWVae5gnVy16pGKCF1AfgXqWwBFIFVjCtzMQUQdi5+l5Tv/vHLNNa2Mm63QzELxwvbDhs4CU1CjrAfLQsysZXwVah/YGKq3DxxtlKM+938E8Lw6UKl22hTSemdsyJWDka8sQus7e9ZHqUZD4bPCkd3kxROP9ixpL6J4VpR6XyI+izQhBpfqm/84nX/qxs1QHmlF/7x0Ibjvd/yka/2Xu838lCidjeRFrn7xrX0pXNF9oYS4CfrUX0zYbdv1Pf+m4DOUwv30eNBtT+hb3Yasbu1TdVklq3/7ICwGenPFoQtauYphCgKRcy6vgOKjQe/Op+wEGlnb34oz+E6XcbHVnUxWc2eF++MjzPCsd4wRZrZoB+GJ4bP+RjVRu6olZo0Q5BVH+IjEIMsddSznxKnLRnD30qgqTVuzSn9uWlbNpc9sZFIrDB9QgsbE8OdIWbKUCIxEIoQ0zdHz4f0XCdLo8vWw5j3kaH23H1jgV2UR9+0OaRpkqNvlKVT1nTgmGm2OrPgrMsnBkgVniVjtALpO3J0ja5jzrGox43I0Tf6KSqq2vzlyvfN42+fSGXpkFdX1S7eJUtVehW2qJlndU353fE2y7j4DwchhMDyHGRkHDtqYqMJNmN/qBmnDiiWK1StDsORtX/VTDVr/Xx55hSHJz2KZYQqzMC5mLNdpMTUrCLbRS+Am895yoy3tbLjQWekJ06dMIShjC0z942aOWIQz2pNpKdeJnauHqytgK9HIKTI3TfhHOQAXt+o32Ttm3AefQhuPKGc687qiSeeiTh1uWpJJ52tfrq0AufhJmue5NE36rS4fTOyegJTh+/J6rolM2LhwpE5qtNrsMWQZzhi9lu9uPbQkZOqmPKdEd1dnR6PTItx6dLlQt3GZp744zuEo4XsfcYvvmXNOhH5NCb/ZL0CHd2Wzc3v8nl3IRAUx8qf6tAKdSO2GPKsqC5+zLYll983v7urstXhJ8f/DduS7HbCDzFDW1ZAoQAdg8qywew54SjWNazYrqK4aosI47BFkGe0MDxy9ZK6XXbYczgjJmzRvgh6HFZ8s4FX/vEpZX0L2OXIi7q7OgF6MC7Y71ZMI4xtW492d106AlsEeRaXxZ4UAi69a153V2Wrw1VHPYKUcMFv9uvuqgTo4SgpKOewaedS27yuqrp82BHdXZ9vi15Pnn2qimesX9kwao+jJlA5ONH5h9Zg5spDbQJ1+fKQb4MnH+R1rnyL+vmU/a3O/0dvLmPRf5dSPayM2QdPJ6+meMKifCqYu37O1m5+fZhv2WxSujyLzbvQfM9JTvG62vXelHbkW/Zm980pe/yUWLiQ+paNv+/tTkN6PXnalv2oGTY4/1Zv5iNxPKEr64yMVjgqna0kQDlDKSi5oU6XNk+1uwqeg920+VpAM8hWXCLLtgtsh3DDXKRNp6VUES9dtpAUlk9rmvHaVlIrLbxOwY+PdZ6+Trn+MvnSy+dCXNquzChDwcSBODpd+j53dEAS5ZUZmaFvnHQ2cSTpvdJ7Zcex1vdBNhWCZWQPXaFEprmst+yk1wzFIlUzbJ+OMgVazhpJ1BynQI0v6RO6ZwwposKy6LQZx4NE+fX3DCrSQsnVtIVSzr5JN26i4Rgn7/4TmlrriqvLay7MkkePR68mz8ohZYfXrWuuOuScabK4vMC9PnXoCoBWMNpIDSGhdHrSJsU7dwLxqMFqK5ExYTBU2IkUggqBFUoVpicMNAm0gNXivBcWGI1JdfbBFVWbYCjxeoIIGadOsggwHe2fSLJYsXS5yWJ825HGpA2voS8QJfwz/MJ+gFee+pRvPl7HgG3GEe57obSsCNiGoRqSGjbDwlaUCTYGjhvy1HTtWErQKrAxaMIhXD8pO+lsRa4CiUEbwm2cJlGnXKl+L9qiiHemYHyxDSJuOlrE1C53NTuGT7yenM7tm0zjRpnP+qMB+C2cEk512DduImCoc5kC00mnxfyG11wvT02altcUoULM+EXwCb9BidtDauz4mpDQJ26GnnQ03c3cHe+2V0fbT96HTz+P8oJ+bGxc3audhvRa8hRCiMY6x/nHST/dw9azyOTQFeDO8ojjieJ93rnddCLhxREthwFFRm5f+SxIDPW3reP4pNHeaUMO2Q62shxJQRuYzbgznuQ7ttD/RRwS1aNXFoGMJl3IWrfnv6pVALSUvtGjX+KGhtCWI254Bl8/ChuELeEnJzwLwMGXPixtO5w4juIYWAg19bJd8kvumzgm7Qgkkrgiw3TznjZMnLuNk64VhxR9faMqaLizVRtJHOkStj5/AlYNQLwxDdb1U1OpRDJ026zGirB8faOySOkbfOov/TQjPbmlHwYqPwPsCKnjxgAKwSxwvpPCG4cpg0tbrOFMBGx9k0vum6QboI9zvb7RF4M/5pEqP6VvfNdK8s084ZpSs2/3Jh0CWWSYXLzfTbKlvSk0sHx4D9a2ZUevJc+qYWUXNNW1Fp9w9e5EC8Km75rLuI7S7tht60GdNp2fhMz0Zo1uuhDOo5ZOl2O9SrR7ZaZdr7KBJjVLEFnSKYG2EcMNBJbRKspMzCNj36hZqJ4xZ0wnQTxy+7vUrlnL8Ml70H/o2PRp1dTLt26Z2ZrImTVm7RtsoBmDuPtJ5jW/dkXeWcqNh+HjcZhLhrp30YxttpxZKGQZDwo6BpXPKjczQjnGjfIlIMLOOc4qsvfZ50OWdD4zYsgybkLKzFSVm/NayZSXr1wRx4n7JYA5448SA8trWF239Kze6jSkV5KnECK8cXXjtaV9Czj0/On+r3J6nkl6XMlcRr512YS05FGuSpSzHemmNNnSkkee5JHOtm3uuOxphDA4+NL7c+eWV4s3IaWdZzv8FtpZ0FwE0sjPeiu/HDsWanx1yLlLQs62GJuW5yb1jRCCHx50F3G73RhQXnPfpvy2p6BXkmf18PIbW5vj4XNu3hfT7JVN6LX444/+Q2NdK+NmH0ZJRaCpDbD52HH4boyqnsyq2sXzeqPTkF7HPEKI4rVL686uGlbGd46a0N3V2arQ1hbngRtewQwbHHRBEF4jwLfHT+bfhy1t+hZX/b2767Kp6HXkWTWs7O54u21cepfj/CNA1+FXZz1Fe6vFvDOmZ3b+ESDAJmCbqvFMG7EXq+qW7tzbnIb0KvIMRcz+a5bUHbLN5Gq23z2t84+ATb8Fsi1a1W9s5qm73iFWGOb06+d0WZ26CD163HT5QmsXl/ujg/6IEAbFsbJe5TSkV5FnRVV65x9KwiNRnrYz/V4AUZ8/whzFaX1kxs0EZ6PYEVVn2+TRUqF8yhWOlCSUbVPLr9nMB4bzk6whGnQdIX2okJ8e6zj/OP7KffjosyMsKbUv3yxwvMRDrr42sTHyOCeOo+MQ6UT4fnginJyk2BJzxk2uTUS1aSNynWefdjTruIl7hgpZ82t15Ec562eANPILtaI3THPtjuswL3n3DXlcU+k0xVVlg5kz/ijWNazcrqK4qtf4++w15BkrDI9cs7RuxpS9RjB8fJX7eQissPMqCnGJIuUkhsEuwBGSR/FE4GmKcjVyykIpJZEa/LTiKXJ8guWE5LbznZQgQ6p831cJMME2QCqhf1rxuiI5y3Z0fVpcn9aCRCgZY1Kb7TT56XAiooVU65oV32zg1Sc/pbhPKYNmPcL6jdsIYlmEM8rlOiaulstXnAcDiCIJIXFOYsa+Uc6Tpdp+TjAASMhd+uwAnJOXyfLIAmgoQby9AzQUI9NZHgncaAB+j/0J7VCdKrXkyXNynwh909PjqglnDPnF6xpxoBHHOslv3JCcTsmKbNMbXwntS9NmKbyxlTJulF7aUlZ3Ioclmq2lTD5H/VmvqXrwGY55aS/b7xZCRhiBeDzN73skeg15FpXFnhKG4JI/HgSKZPzRGcAZOIVgRH0EpcJKyLAn9BVqBmr6winogZYiHE4Of6A9iPtCYZgqneEjMukjOVQVTTXQhaq3W5bheJ4Hn2ZTeXF3LxobZBxsVRdXIaVmvyL54hJefm5jomD426zz9bVZ4ORnKqssKcG66rDHQcK+591q23YEMAw13TdxWNnJyvnMIuySnKlMtAwibjqnrDAWjmWBcNOFECo0h3cBCnf2Ksjsed5vqZSoHrN9pWYw32wugnd2wPh8GwxleWSrPvMLxAXO+TAtX9/4+twdN1onaeraKaOHeBojjjYwGnDPs3TkrFjNuOdZjwd9M3djPxhga4sjnzYZJajXfZBwfv2aTem0Q2tT7bhTn5ROSmeJliSeF1pTrMrV9wn188RrqgXMBq8ttg2IgnLr4OnnyfWNqyqqyoceme489TT0CvKsqCreZf3Khu32Omo8gwaXYTp397TCYfUIL4pwrBmcazGtRQghQH/v+3lKn6i7sbBAqLtmWnmnSmfEPTLLKC4Og6lCKbiDL50YOe4QmR6BGYXflmOGCl5eKeJrVa6IkfCMpcZ9ImygBcS7/10nPn7jK8qraxi3x3dTx4vDysJHfDoiUWq6CAYhhIpJlN5HvCblsNsIkTTb9CPd3De1jhI9pxQ+Wk78rYBVA+B/02BjHyewnsgwbhQRCp/YPO24MXBuloYiPl/alPyacGJlKWvUbIJ9M452oO+e54T0iryNUNJnGcT4mhT9U9W0bfYH+MrUN6oj/NdH2r6xceKDtYBQNw/je7v/RMTCRTQ0b/y9EKLHc1OPryCAbdmPhsIGF9yyn77SBTnW25QVjinyCEkRcpJnXdcB/B5qcq4X5bOuZDhH1lAY4D1ak+Wi0rDy6Bs9M8qVDuD6E/5sAMy7/J7sGYZdksvcFlUwucJwgGaHeM50DvQ1nStVzr6Jh2HpUEzLzC0Ot531YbKV7RuvkOM8K/NhO1c6RXbxXONGja+0N+U0eRqqCrnSmeRet8dnI5+1bO13AhCRcIyTdv8JTW31RVVlw3q805AeT57VQ8uPrF3XXHn4edMpKS/o7upsVXjtiU9Y9ulqqredRM3kXbu7OgG2Ahw8/VzKCvuxoXH1NT3daUiPjp4phBCGKRqlpGD8zoNtQ1kWCyEEAiFtmf0OmGc6EEgDI3c6EIYw7DzSGYYwpMQmR/8KJ52UOU6EYQiDfNIJp9U52yKEkAKRrS0fvLLYkDYMHD2VUKQgj74xDGnbeaVDSjvX2BPCMJwWZ08ohGEASJm9bKdnhMiVLmQJUdKQOx2AIQwjn3RSGIadRzqnLbn7xhSGIcivbyS5+8YRTedusxpeefWNyLNvktNtbFojFq/9WACvSil77O57jyZPACHEX4BDu7seAQIE6HpImTP4Z7ehx5NngAABAvRE9Pg1zwABAgToiQjIM0CAAAE2AwF5BggQIMBmICDPAAECBNgMBOQZIECAAJuBgDwDBAgQYDMQkGeAAAECbAYC8gwQIECAzcBmkacQokAI8YIQwlR/7yaE2OwIeEKIiBDiRSFEXs5cAwQIECCZhzbxtymctak8tMnkqSp6EvColFJ7qJkMvLOpeWlIKduAfwNHbG4eAQIE2HqQgYc2BZNJ4qxN5aG8yFMI8RchxC+FEM8DC4BjgL/7kkwCBgkhXhdCfCmE2E397lAhxGtCiIVCiJeFEP3V5wOFEI8IId4RQnwshNgJeEzlGyBAgAApyMVD6XglEweRgbPYFB6SjkufrAfwMXC1eh8BViZ9/w7wI/V+b+Al9b6vL80PgbNwPDouBA5QnxcCJTh+AtfkU5/gCI7g2PqObDyUhVdSOEi9z8RZefNQzpmnECIGVABXq4/6ARt934eAvsDP1EfvqjQAJwgh/ieEWAicCbQA84CPpJRPKPJuklLWS2fq3SaEKMlVpwABAmxdyMVDZOAV0nBQNs7aFB7K57F9HPC6lFJ7mW7GCe+lMRb4XDrrBQA7AAuFEMcBOwF7SCknAZ8AH+CsNbyWoawoDsEGCBAggB+5eGgySbyShYPScpbvp3nxUD7kOQF4T/8hpdwAmOpOAM7awXAhRFQIUYwzNf61+t2rUsoGIcQhwAzgfWAlTkfoBup10L440+X2POoUIECArQu5eCgdr2TioEyctUk8tMnkqfAsMFO9nwTcD7wK/A+4WUr5GnAPcK4Q4iVgO+BLKWUjcDdQJYT4QAjxLrCzymd3oFcFvQ8QIECXIRcP3U0qr2TioEycBZvAQ5vlDFkIsT1wgZTy2E3+ceY8HwUWSCk/6ag8AwQIsOWiu3los0TyUsp3gOc3R5yaDkKICPBYQJwBAgTIF93NQ0EYjgABAgTYDAS27QECBAiwGQjIM0CAAAE2AwF5BggQIMBmICDPAAECBNgMBOQZIECAAJuBgDwDBAgQYDMQkGeAAAECbAYC8gwQIECAzUBAngECBAiwGQjIM0CAAAE2AwF5BggQIMBmICDPAAECBNgMBOQZIECAAJuB/wdUAXKGj+CiHAAAAABJRU5ErkJggg==\n", "text/plain": [ "
" ] }, "metadata": { "needs_background": "light" }, "output_type": "display_data" } ], "source": [ "ternary_plot_winning_frequencies(\n", " divided_majority_pl,\n", " scale=SCALE,\n", " init='random_tau',\n", " samples_per_point=SAMPLES_PER_POINT,\n", " n_max_episodes=N_MAX_EPISODES,\n", " title='',\n", " legend_title='Winners',\n", " file_save_data='sav/DM_PL.sav',\n", ")\n", "plt.savefig('img/fDM_PL.png', dpi=600, bbox_inches=\"tight\")" ] } ], "metadata": { "kernelspec": { "display_name": "Python 3 (ipykernel)", "language": "python", "name": "python3" }, "language_info": { "codemirror_mode": { "name": "ipython", "version": 3 }, "file_extension": ".py", "mimetype": "text/x-python", "name": "python", "nbconvert_exporter": "python", "pygments_lexer": "ipython3", "version": "3.9.7" }, "toc": { "base_numbering": 1, "nav_menu": {}, "number_sections": true, "sideBar": true, "skip_h1_title": true, "title_cell": "Table of Contents", "title_sidebar": "Contents", "toc_cell": false, "toc_position": {}, "toc_section_display": true, "toc_window_display": false } }, "nbformat": 4, "nbformat_minor": 4 }